C. J. Ash, J. N. Crossley, C. J. Brickhill, J. C. Stillwell, N. H. Williams - What Is Mathematical Logic
Publisher: Dover Publications | ISBN: 0486264041 | edition August 1, 1990 | PDF | 91 pages | 4,51 Mb
Publisher: Dover Publications | ISBN: 0486264041 | edition August 1, 1990 | PDF | 91 pages | 4,51 Mb
This concise, lively treatment is accessible to nonmathematicians. Topics
include model theory, Godel's theorems, computability and recursive
functions, set theory, and more. Diagrams appear throughout the text.
"The lectures on which this book is based were conceived by Chris Brickhill
and John Crossley. Our aim was to introduce the very important ideas in
modern mathematical logic without the detailed mathematical work which is
required of those with a professional interest in logic. The lectures were given
at Monash University and the University of Melbourne in the autumn
and winter of 1971. Their popularity induced us to produce this book which
we hope will give some idea of the exciting aspects of mathematical logic
to those who have no mathematical training."
J. N. Crossley
Contents:
Introduction
1. Historical Survey
2. The Completeness of Predicate Calculus
3. Model Theory
4. Turing Machines and Recursive Functions
5. Godel's Incompleteness Theorems
6. Set Theory
Some Suggestions for Further Reading
Index
via FoxyTunes
