Mathematical Logic (original) (raw)
Overview
Authors:
- J. Donald Monk
- Department of Mathematics, University of Colorado, Boulder, USA
Access this book
Other ways to access
About this book
From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics themselves. Thus we treat mathematical and logical practice as given empirical data and attempt to develop a purely mathematical theory of logic abstracted from these data."
There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book.
Similar content being viewed by others
Keywords
Table of contents (32 chapters)
Introduction
Recursive Function Theory
Elements of Logic
Decidable and Undecidable Theories
Authors and Affiliations
Department of Mathematics, University of Colorado, Boulder, USA
J. Donald Monk
Bibliographic Information
- Book Title: Mathematical Logic
- Authors: J. Donald Monk
- Series Title: Graduate Texts in Mathematics
- DOI: https://doi.org/10.1007/978-1-4684-9452-5
- Publisher: Springer New York, NY
- eBook Packages: Springer Book Archive
- Copyright Information: Springer Science+Business Media New York 1976
- Hardcover ISBN: 978-0-387-90170-1Published: 07 September 1976
- Softcover ISBN: 978-1-4684-9454-9Published: 15 July 2012
- eBook ISBN: 978-1-4684-9452-5Published: 06 December 2012
- Series ISSN: 0072-5285
- Series E-ISSN: 2197-5612
- Edition Number: 1
- Number of Pages: X, 532
- Topics: Mathematical Logic and Foundations