00000na 22 1 4508211782012Springer معرفت شناسی در مقابل هستی شناسی: مقالاتی درباره فلسفه و مبانی ریاضیات به افتخار پر مارتین-لوف [کتاب انگلیسی]Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-LöfPeter Dybjer, Sten Lindström, Erik Palmgren, Göran SundholmbookEnglish