The generalised type-theoretic interpretation of...

The generalised type-theoretic interpretation of constructive set theory

Gambino, Nicola, Aczel, Peter
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:
71
Langue:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2178/jsl/1140641163
Date:
March, 2006
Fichier:
PDF, 1.89 MB
english, 2006
La conversion en est effectuée
La conversion en a échoué