This lively introduction to mathematical logic, easily accessible to non-mathematicians, offers an historical survey, coverage of predicate calculus, model theory, Godel’s theorems, computability and recursivefunctions, consistency and independence in axiomatic set theory, and much more. Suggestions for Further Reading. Diagrams.
Author(s): C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams
Publisher: Dover Publications
Year: 1990
Language: English
Pages: 90
City: New York
Cover
Title Page
Copyright Page
Preface
Table of Contents
Introduction
1. Historical Survey
2. The Completeness of Predicate Calculus
3. Model Theory
4. Turing Machines and Recursive Functions
5. Godels Incompleteness Theorems
6. Set Theory
Some Suggestions for Further Reading
Index