Skip to main content

Mathematical Logic

  • Textbook
  • © 1976

Overview

Part of the book series: Graduate Texts in Mathematics (GTM, volume 37)

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 79.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 99.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 chapters)

  1. Introduction

  2. Recursive Function Theory

  3. Elements of Logic

  4. Decidable and Undecidable Theories

Keywords

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.

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

Publish with us