Fundamentals of mathematical logic / Peter G. Hinman.
This introductory graduate text covers modern mathematical logic from propositional, first-order and infinitary logic and Gödel's Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author's more than 35 years of...
Saved in:
| Online Access: |
Full Text (via Taylor & Francis) |
|---|---|
| Main Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Wellesley, Mass. :
A K Peters,
©2005.
|
| Subjects: |
Internet
Full Text (via Taylor & Francis)Online
| Call Number: |
QA9 .H527 2005
|
|---|---|
| QA9 .H527 2005 | Available |