Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications

“This book could be a valuable reference text and would be useful to one who would like to know how basic mathematical primitives can be rigorously developed within basic set theory.” (Rana Barua, Mathematical Reviews, June, 2016)

It is quite suitable for a first- or second-year university course where the hand of the lecturer can guide the student through the material. There are fairly comprehensive sets of problems at the end of each chapter … . In summary, the book is a very thorough treatment of the topics … . It is quite suitable as a textbook for an undergraduate course in the logic and mathematics that underpin a computer science course.

“This introductory textbook on logic and set theory stands out in that it does notonly present its mathematical content in a thorough and accessible way, but also giving historical and philosophical background … . The book contains many exercises that should serve to further the understanding of the reader … . The book should be accessible to readers with a basic general background in mathematics.” (Merlin Carl, zbMATH 1334.03002, 2016)