Access this book
Tax calculation will be finalised at checkout
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
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