
A Tour Through Mathematical Logic
Robert S. Wolf(Author)
Cambridge University Press
Published on 10. March 2005
Book
Hardback
414 pages
978-0-88385-036-7 (ISBN)
Unfortunately, price unknown
No shipping information available
Description
The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foundations, so will also be attractive to those outside the classroom environment wanting to learn about the subject.
More details
Series
Language
English
Place of publication
Washington DC
United States
Dimensions
Height: 219 mm
Width: 152 mm
Thickness: 28 mm
Weight
585 gr
ISBN-13
978-0-88385-036-7 (9780883850367)
Schweitzer Classification
Person
Content
1. Predicate logic; 2. Set theory; 3. Recursion theory and computability; 4. Model theory; 5. Independence results in set theory; 6. Nonstandard analysis; 7. Constructive mathematics; Appendix A. A deductive system for first-order logic; Appendix B. Relations and orderings; Appendix C. Cardinal arithmetic; Bibliography; Index.