![Types for Proofs and Programs Types for Proofs and Programs](https://bilder.buecher.de/produkte/09/09219/09219554m.jpg)
Broschiertes Buch
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
1995.
18. Oktober 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60579-9
![Types for Proofs and Programs Types for Proofs and Programs](https://bilder.buecher.de/produkte/23/23300/23300976m.jpg)
Broschiertes Buch
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
2000.
13. Dezember 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-41517-6
![Applied Semantics Applied Semantics](https://bilder.buecher.de/produkte/11/11106/11106238m.jpg)
Broschiertes Buch
International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
2002
21. August 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-44044-4
![Semantics and Logics of Computation Semantics and Logics of Computation](https://bilder.buecher.de/produkte/22/22896/22896385m.jpg)
![Semantics and Logics of Computation Semantics and Logics of Computation](https://bilder.buecher.de/produkte/26/26845/26845939m.jpg)
![Epistemology versus Ontology Epistemology versus Ontology](https://bilder.buecher.de/produkte/41/41346/41346054m.jpg)
Broschiertes Buch
Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
2012
9. August 2014
Springer / Springer Netherlands
978-94-017-8238-8
eBook, PDF | 213,99 € |
![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
![Category Theory and Computer Science Category Theory and Computer Science](https://bilder.buecher.de/produkte/23/23114/23114654m.jpg)
Broschiertes Buch
Manchester, UK, September 5-8, 1989. Proceedings
1989.
23. August 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-51662-0
Ähnlichkeitssuche: Fact®Finder von OMIKRON