Mathematical Logic

A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Erscheinungsjahr 2000
ISBN: 978-0-19-850048-3
Verlag: OUP Oxford

Buch, Englisch, 360 Seiten, Print PDF, Format (B × H): 156 mm x 234 mm, Gewicht: 547 g

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 students with 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.

Autoren/Hrsg.

Cori, Rene

Cori, René

Lascar, Daniel

Weitere Mitwirkende

Pelletier, Donald

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

- 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