Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing by David Makinson.
Published by Springer, (2020), Paperback, 398 pages.
Topics: Mathematical Logic and Formal Languages, Computational complexity, Discrete Mathematics in Computer Science, Algebra.