3rd Edition
Paperback (17 Dec 2009)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This work treats the most important basic material on logic programming for logicians and computer scientists, model theory, recursion theory, Gödel's incompleteness theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are also discussed throughout the text.
| ISBN: | 9781441912206 |
| Publisher: | Springer New York |
| Imprint: | Springer |
| Pub date: | 17 Dec 2009 |
| Edition: | 3rd Edition |
| DEWEY: | 511.3 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 319 |
| Weight: | 592g |
| Height: | 172mm |
| Width: | 245mm |
| Spine width: | 20mm |
$5.23off
Hardback
Published 23 Aug 2023
Save $5.23
$10.80off
Hardback
Published 30 Jun 2023
Save $10.80
$3.24off
Paperback
Published 28 Jul 2023
Save $3.24
