Table of Contents

Foreword
Introduction
How to use the book
1: Propositional Calculus,
2: Boolean Algebras
3: Predicate Calculus
4: Completeness Theorems
Answers to the exercises of Chapters 1-4
Bibliography
Naotations
Index

Reviews

"This text is based on a course to undergraduates and gives a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The first chapter considers propositional calculus; then Boolean algebras follow; Chapter 3 covers predicate calculus and this is followed by completeness theorems. Large numbers of examples appear throughout the text and each chapter concludes with a selection of exercises to reinforce the student's understanding. Answers to the exercises are given in an appendix."--L'Enseignement Math�matique"I have always been especially fond of logic. The two-volume Mathematical Logic: A Course with Exercises is a comprehensive introductory course that is distinguished by clarity of exposition and a large number of exercises with thorough solutions. Each volume is about 330 pages long, 80 of which are solutions!"The Bulletin of Mathematics Books