What Is Mathematical Logic? [1990 ed.] 0486264041
182 43 907KB
English Pages 91
Table of contents :
Cover
Title
Copyright
Preface
Contents
Introduction
Historical Survey
The Completeness of Predicate Calculus
Model Theory
Turing Machines and Recursive Functions
Godel's Incompleteness Theorems
Set Theory
Some Suggestions for Further Reading
Index
Cover
Title
Copyright
Preface
Contents
Introduction
Historical Survey
The Completeness of Predicate Calculus
Model Theory
Turing Machines and Recursive Functions
Godel's Incompleteness Theorems
Set Theory
Some Suggestions for Further Reading
Index
![What Is Mathematical Logic? [1990 ed.]
0486264041](https://ebin.pub/img/200x200/what-is-mathematical-logic-1990nbsped-0486264041.jpg)
- Author / Uploaded
- Crossley
![Mathematical Logic [1.0]
0486425339](https://ebin.pub/img/200x200/mathematical-logic-10-0486425339.jpg)
