Martin-Löf, Per (1942-....) (Personal Name)

Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf / edited by Peter Dybjer, Sten Lindström, Erik Palmgren... [et al.]. - Dordrecht : Springer, 2012

Logicien, philosophe et mathématicien suédois