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
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
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
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
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
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
