Introduction to Mathematical Logic (Dover Books on Mathematics)
26,80 €
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
Jetzt bei Ebay:
![Produktbild - An Introduction to the Theory of Groups (Dover Books on Mathematics) [Paperback]](https://i.ebayimg.com/thumbs/images/g/d6QAAeSwy5FoUnM7/s-l140.jpg)
![Produktbild - Mathematical Logic (Dover Books on Mathematics) by Stephen Kleene [Paperback]](https://i.ebayimg.com/thumbs/images/g/vcoAAeSwkXdoUpLN/s-l140.jpg)
