Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

by Rene Cori and D. Lascar

Book Overview

Logic forms the basis of mathematics and is a fundamental part of any mathematics course. This book provides students with a clear and accessible introduction to this important subject, using the concept of model as the main focus and covering a wide area of logic. The chapters of the book cover propositional calculus, boolean algebras, predicate calculus and completelness theorems with answeres to all of the exercises and the end of the volume. This...

• Format: Paperback
• Language: English
• ISBN: 0198500483
• ISBN13: 9780198500483
• Release Date: November 2000
• Publisher: OUP Oxford
• Length: 360 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"