![An Introduction to Mathematical Logic and Type Theory An Introduction to Mathematical Logic and Type Theory](https://bilder.buecher.de/produkte/32/32013/32013382m.jpg)
Broschiertes Buch
To Truth Through Proof
2. Aufl.
9. Dezember 2010
Springer / Springer Netherlands
978-90-481-6079-2
Gebundenes Buch | 100,99 € | |
eBook, PDF | 73,95 € |
![An Introduction to Mathematical Logic and Type Theory An Introduction to Mathematical Logic and Type Theory](https://bilder.buecher.de/produkte/13/13981/13981841m.jpg)
Gebundenes Buch
To Truth Through Proof
2. Aufl.
31. Juli 2002
Springer / Springer Netherlands
978-1-4020-0763-7
![An Introduction to Mathematical Logic and Type Theory (eBook, PDF) An Introduction to Mathematical Logic and Type Theory (eBook, PDF)](https://bilder.buecher.de/produkte/43/43986/43986082m.jpg)
eBook, PDF
17. April 2013
Springer Netherlands
![An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof](https://bilder.buecher.de/produkte/34/34195/34195731m.jpg)
Buch
New York & London : Academic Press
Ähnliche Artikel
![A Modern Perspective on Type Theory A Modern Perspective on Type Theory](https://bilder.buecher.de/produkte/32/32010/32010874m.jpg)
Broschiertes Buch
From its Origins until Today
Softcover reprint of hardcover 1st ed. 2004
22. Oktober 2010
Springer / Springer Netherlands
978-90-481-6639-8
![Language, Truth and Logic in Mathematics Language, Truth and Logic in Mathematics](https://bilder.buecher.de/produkte/32/32105/32105483m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 1997
15. Dezember 2010
Springer / Springer Netherlands
978-90-481-4923-0
![Language, Truth and Logic in Mathematics Language, Truth and Logic in Mathematics](https://bilder.buecher.de/produkte/20/20952/20952119m.jpg)
Gebundenes Buch
1997.
31. Dezember 1997
Springer / Springer Netherlands
978-0-7923-4766-8
![Fuzzy Logic Fuzzy Logic](https://bilder.buecher.de/produkte/32/32019/32019496m.jpg)
Broschiertes Buch
Mathematical Tools for Approximate Reasoning
Softcover reprint of hardcover 1st edition 2001
7. Dezember 2010
Springer / Springer Netherlands
978-90-481-5694-8
![Fuzzy Logic Fuzzy Logic](https://bilder.buecher.de/produkte/21/21554/21554548m.jpg)
Gebundenes Buch
Mathematical Tools for Approximate Reasoning
2001
30. April 2001
Springer / Springer Netherlands
978-0-7923-6941-7
![Proof and System-Reliability Proof and System-Reliability](https://bilder.buecher.de/produkte/22/22221/22221908m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 2002
31. Mai 2002
Springer / Springer Netherlands
978-1-4020-0608-1
![Mathematics Mechanization Mathematics Mechanization](https://bilder.buecher.de/produkte/21/21530/21530126m.jpg)
Gebundenes Buch
Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
2001
30. April 2001
Science Press / Springer / Springer Netherlands
978-0-7923-5835-0
![Inconsistent Mathematics Inconsistent Mathematics](https://bilder.buecher.de/produkte/32/32105/32105754m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 1995
6. Dezember 2010
Springer / Springer Netherlands
978-90-481-4480-8
![Proof Theory and Automated Deduction Proof Theory and Automated Deduction](https://bilder.buecher.de/produkte/21/21376/21376349m.jpg)
Broschiertes Buch
Softcover reprint of the original 1st ed. 1997
30. November 2001
Springer / Springer Netherlands
978-1-4020-0368-4
![Inconsistent Mathematics Inconsistent Mathematics](https://bilder.buecher.de/produkte/22/22361/22361131m.jpg)
Gebundenes Buch
1994.
30. November 1994
Springer / Springer Netherlands
978-0-7923-3186-5
Ähnlichkeitssuche: Fact®Finder von OMIKRON