An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof /

In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, comp...

Full description

Bibliographic Details
Main Author:	Andrews, Peter B.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2002.
Edition:	Second edition.
Series:	Applied logic series ; 27.
Subjects:	Mathematics. Logic. Electronic data processing. Artificial intelligence. Logic, Symbolic and mathematical. Computational linguistics. Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Preface to the Second Edition
Preface
Introduction
1. Propositional Calculus
2. First-Order Logic
3. Provability and Refutability
4. Further Topics in First-Order Logic
5. Type Theory
6. Formalized Number Theory
7. Incompleteness and Undecidability
Supplementary Exercises
Summary of Theorems
Bibliography
List of Figures
Index.