Tell your friends about this item:
Introduction to Mathematical Logic - The Wadsworth & Brooks / Cole Mathematics Series Elliot Mendelsohn Softcover reprint of the original 1st ed. 1987 edition
Introduction to Mathematical Logic - The Wadsworth & Brooks / Cole Mathematics Series
Elliot Mendelsohn
Recursion theory is gone into a little more deeply, including the s-m-n theorem, the recursion theorem, and Rice's Theorem. (3) In Chapter 2, Quantification Theory, Henkin's proof of the completeness theorem has been postponed until the reader has gained more experience in proof techniques.
342 pages, black & white illustrations
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | April 13, 2012 |
| ISBN13 | 9781461572909 |
| Publishers | Springer-Verlag New York Inc. |
| Pages | 342 |
| Dimensions | 170 × 244 × 19 mm · 566 g |
| Language | English |