Find a copy in the library
Finding libraries that hold this item...
Details
| Document Type: | Book |
|---|---|
| All Authors / Contributors: |
René Cori; Daniel Lascar |
| ISBN: | 0198500491 9780198500490 |
| OCLC Number: | 255305481 |
| Notes: | Literaturverz. S. [330] - 331 Nebent.: Propositional calculus, Boolean algebras, predicate calculus, completeness theorems |
| Description: | XIX, 338 S. 24 cm |
| 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; Notations; Index |
| Series Title: | Mathematical logic, : a course with exercises / René Cori and Daniel Lascar ; Pt. 1 |
| Other Titles: | Propositional calculus, Boolean algebras, predicate calculus, completeness theorems |
| More information: |
Reviews
Publisher Synopsis
<br>"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<p><br>"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<p><br> Read more...
