Mathematical Logic: A Course With Exercises Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by Rene CoriMathematical Logic: A Course With Exercises Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by Rene Cori

Mathematical Logic: A Course With Exercises Part 1: Propositional Calculus, Boolean Algebras…

byRene Cori, Daniel LascarTranslated byDonald Pelletier

Paperback | June 15, 2000

Pricing and Purchase Info

$129.01 online 
$165.00 list price save 21%
Earn 645 plum® points

In stock online

Ships free on orders over $25

Not available in stores

about

Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides studentswith a clear and accessible introduction to this important subject. The concept of model underlies the whole book, giving the text a theoretical coherence whilst still covering a wide area of logic.
Rene Cori is at Universite Paris VII. Daniel Lascar is at Universite Paris VII. Donald Pelletier is at York University, Toronto and Universite Paris VII.
Title:Mathematical Logic: A Course With Exercises Part 1: Propositional Calculus, Boolean Algebras…Format:PaperbackPublished:June 15, 2000Publisher:Oxford University PressLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0198500483

ISBN - 13:9780198500483

Look for similar items by category:

Customer Reviews of Mathematical Logic: A Course With Exercises Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Reviews

Table of Contents

ForewordIntroductionHow to use the book1. Propositional Calculus,2. Boolean Algebras3. Predicate Calculus4. Completeness TheoremsAnswers to the exercises of Chapters 1-4BibliographyNaotationsIndex

Editorial 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 propositionalcalculus; 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 exercisesare given in an appendix."--L'Enseignement Mathematique"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 aresolutions!"The Bulletin of Mathematics Books