Lingyuan Ye

Eine Übersicht über endlich dargestellte Heyting-Pretoposen und ihre Bedeutung in der Logik.