Publication: Bon ordre dans l'objet des nombres naturels d'un topos booléen
Loading...
Files
Full text at PDC
Publication Date
1975-10-13
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Abstract
Description
UCM subjects
Unesco subjects
Keywords
Citation
M. Coste, Topos élémentaires et théorie des ensembles (seminaire J. Bénabou).
C.J. Mikkelsen, On the Internal Completeness of Elementary Topoi, Oberwolfach, 1973.
H. Ehrig, W.Kühnel et M.Pfender, Diagram Characterization of Recursion, L.N. in Comp. Se.,25