Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2012. gada 13. aprīlis |
| ISBN13 | 9781461572909 |
| Izdevēji | Springer-Verlag New York Inc. |
| Lapas | 342 |
| Izmēri | 170 × 244 × 19 mm · 566 g |
| Valoda | Angļu |