![Treatise on Intuitionistic Type Theory Treatise on Intuitionistic Type Theory](https://bilder.buecher.de/produkte/33/33707/33707521m.jpg)
Gebundenes Buch
2011
3. Juni 2011
Springer / Springer Netherlands
978-94-007-1735-0
![Treatise on Intuitionistic Type Theory Treatise on Intuitionistic Type Theory](https://bilder.buecher.de/produkte/39/39277/39277983m.jpg)
Broschiertes Buch
Repr. d. Ausg. v. 2011
3. August 2013
Springer / Springer Netherlands
978-94-007-3639-9
Ähnliche Artikel
![Natural Deduction, Hybrid Systems and Modal Logics Natural Deduction, Hybrid Systems and Modal Logics](https://bilder.buecher.de/produkte/28/28036/28036507m.jpg)
Gebundenes Buch
2010 edition
11. Juni 2010
Springer / Springer Netherlands
12607662,978-90-481-8784-3
![Natural Deduction, Hybrid Systems and Modal Logics Natural Deduction, Hybrid Systems and Modal Logics](https://bilder.buecher.de/produkte/36/36065/36065117m.jpg)
Broschiertes Buch
2010
5. September 2012
Springer / Springer Netherlands
978-94-007-3243-8
![Epistemology versus Ontology Epistemology versus Ontology](https://bilder.buecher.de/produkte/35/35201/35201368m.jpg)
Gebundenes Buch
Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
2012
11. Juli 2012
Springer / Springer Netherlands
80061092,978-94-007-4434-9
![Induction, Algorithmic Learning Theory, and Philosophy Induction, Algorithmic Learning Theory, and Philosophy](https://bilder.buecher.de/produkte/32/32108/32108752m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2007
25. November 2010
Springer / Springer Netherlands
978-90-481-7544-4
![Mathematical Intuitionism and Intersubjectivity Mathematical Intuitionism and Intersubjectivity](https://bilder.buecher.de/produkte/21/21103/21103228m.jpg)
Gebundenes Buch
A Critical Exposition of Arguments for Intuitionism
1999.
30. Juni 1999
Springer / Springer Netherlands
978-0-7923-5630-1
![Mathematical Intuitionism and Intersubjectivity Mathematical Intuitionism and Intersubjectivity](https://bilder.buecher.de/produkte/32/32105/32105904m.jpg)
Broschiertes Buch
A Critical Exposition of Arguments for Intuitionism
Softcover reprint of hardcover 1st ed. 1999
6. Dezember 2010
Springer / Springer Netherlands
978-90-481-5187-5
![Advances in Temporal Logic Advances in Temporal Logic](https://bilder.buecher.de/produkte/21/21028/21028381m.jpg)
Gebundenes Buch
1999.
31. Dezember 1999
Springer / Springer Netherlands
978-0-7923-6149-7
![Hybrid Logic and its Proof-Theory Hybrid Logic and its Proof-Theory](https://bilder.buecher.de/produkte/36/36858/36858190m.jpg)
Broschiertes Buch
2011
2. Januar 2013
Springer / Springer Netherlands
978-94-007-3435-7
![Advances in Temporal Logic Advances in Temporal Logic](https://bilder.buecher.de/produkte/32/32108/32108055m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2000
8. Dezember 2010
Springer / Springer Netherlands
978-90-481-5389-3
![Dynamic Epistemic Logic Dynamic Epistemic Logic](https://bilder.buecher.de/produkte/23/23153/23153353m.jpg)
Broschiertes Buch
2008
15. November 2007
Springer / Springer Netherlands
12188697,978-1-4020-6908-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON