"Epistemology versus Ontology: Essays on the philosophy and foundations of mathematics in honour of Per Martin-Lof" - читать интересную книгу автора (Editors: P Dybjer, S Lindstrom, E Palmgren and G Sundholm)