Methods in Mathematical Logic

An accessible introduction to philosophical logic, suitable for undergraduate courses and above.

Winner of the 1983 National Book Award, The Mathematical Experience presented a highly insightful overview of mathematics that effectively conveyed its power and beauty to a large audience of mathematicians and non-mathematicians alike. The study edition of the work followed about a decade later, supplementing the original material of the book with exercises to provide a self-contained treatment usable for the classroom.

Winner of the 1983 National Book Award, The Mathematical Experience presented a highly insightful overview of mathematics that effectively conveyed its power and beauty to a large audience of mathematicians and non-mathematicians alike. The study edition of the work followed about a decade later, supplementing the original material of the book with exercises to provide a self-contained treatment usable for the classroom.

Winner of the 1983 National Book Award, The Mathematical Experience presented a highly insightful overview of mathematics that effectively conveyed its power and beauty to a large audience of mathematicians and non-mathematicians alike. The study edition of the work followed about a decade later, supplementing the original material of the book with exercises to provide a self-contained treatment usable for the classroom.

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.

There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien­ tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance.

Winner of the 1983 National Book Award, The Mathematical Experience presented a highly insightful overview of mathematics that effectively conveyed its power and beauty to a large audience of mathematicians and non-mathematicians alike. The study edition of the work followed about a decade later, supplementing the original material of the book with exercises to provide a self-contained treatment usable for the classroom.

A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions.

A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions.