×

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).

MSC:

03A05 Philosophical and critical aspects of logic and foundations
03F55 Intuitionistic mathematics
03G30 Categorical logic, topoi