
[Lecture Notes in Mathematics] Logic Symposia Hakone 1979, 1980 Volume 891 || Heyting valued universes of intuitionistic set theory
Müller, Gert H., Takeuti, Gaisi, Tugué, TosiyukiVolume:
10.1007/BF
Année:
1981
Langue:
english
DOI:
10.1007/BFb0090986
Fichier:
PDF, 2.32 MB
english, 1981