This site may earn a commission as part of the eBay Partner Network and Amazon Associates Program if you make a purchase through our links.
Comprehensive overview, suitable for advanced undergraduates and graduate students, covers propositional logic; first-order languages and logic; incompleteness, undecidability, and indefinability; recursive functions; computability; and Hilbert's Tenth Problem. 1995 edition. Preface 1. Background 2. Language and Semantics of Propositional Logic 3. Propositional Logic 4. First-Order Languages 5. First-Order Logic 6. Mathematics and Logic 7. Incompleteness, Undecidability and Indefinability 8. Recursive Functions 9. Compatability Theory 10. Hilbert's Tenth Problem Appendix: Number Theory References and recommended readings Index
32.88$ Buy It Now
Item | 145818305840 |
---|---|
Seller |
yourglobalmall ( 42884 ⭐ ) 97.2% Location: Hillsdale, AU, NSW Accept Payments With , |
Shipping | See shipping cost, Ships to Australia, ... |
Guarantee | eBay Money Back Guarantee |
Condition | Brand New |
EAN | 9780486497853 |
UPC | 9780486497853 |
ISBN | 9780486497853 |
Item Length | 22.6 cm |
Item Weight | 0.38 kg |
No more products to load