Peter Dybjer
2 published titles
Semantics and logics of computation
(Contributor)
1 edition
- ISBN: 0521580579
- Cambridge University Press
- 1997
- Details
Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf
(Contributor)
1 edition
- ISBN: 9789400744349
- Springer
- 2012
- Details
