[Lecture Notes in Mathematics] Logic Symposia Hakone 1979,...

  • Main
  • [Lecture Notes in Mathematics] Logic...

[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é, Tosiyuki
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
10.1007/BF
Année:
1981
Langue:
english
DOI:
10.1007/BFb0090986
Fichier:
PDF, 2.32 MB
english, 1981
La conversion en est effectuée
La conversion en a échoué