Title:
A course in mathematical logic
Personal Author:
Series:
Graduate texts in mathematics; 53
Publication Information:
New York : Springer-Verlag, 1977
ISBN:
9780387902432
Subject Term:
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000000236145 | QA9 M29 1977 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
Offers a text of mathematical logic on a sophisticated level, presenting the reader with several of the most significant discoveries, including the independence of the continuum hypothesis, the Diophantine nature of enumerable sets and the impossibility of finding an algorithmic solution for certain problems.
Table of Contents
Provability: Introduction to Formal Languages |
Truth and Deducibility |
The Continuum Problem and Forcing |
The Continuum Problem and Constructible Sets |
Computability: Recursive Functions and Church's Thesis |
Diophantine Sets and Algorithmic Undecidability |
Provability and Computability: Gwdel's Incompleteness Theorem |
Recursive Groups |
Index |