Intuitionistic theories and toposes

Lecture Notes in Mathematics - Logic Symposia Hakone 1979, 1980 ◽

10.1007/bfb0090988 ◽

1981 ◽

pp. 323-358 ◽

Cited By ~ 1

Author(s):

Tadahiro Uesu

Download Full-text