×

Intuitionistic algebra: Some recent developments in topos theory. (English) Zbl 0429.03049

Proc. int. Congr. Math., Helsinki 1978, Vol. 1, 331-337 (1980).

MSC:

03G30 Categorical logic, topoi
03F55 Intuitionistic mathematics
18B25 Topoi