Duric, Milan On a foundation for mathematics - A view of mathematics. I. (English) Zbl 0415.03002 Set theory. Foundations of mathematics, Proc. Symp. Belgrade 1977, Zb. Rad., Nova Ser. 2(10), 31-55 (1977). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03A05 Philosophical and critical aspects of logic and foundations 03F55 Intuitionistic mathematics 03G30 Categorical logic, topoi Keywords:categorical logic; foundations of mathematics; category theory; philosophical language of intuitionistic foundations; regarding the formalism of Heyting’s propositional calculus as a topological space; spatial whole; geometric imagination; intuitionistic mathematics; set- theoretical foundations Citations:Zbl 0401.00006; Zbl 0212.350; Zbl 0215.097; Zbl 0368.02036 PDFBibTeX XML