TY - JOUR AU - Osius, Gerhard TI - The internal and external aspect of logic and set theory in elementary topoi JO - Cahiers de topologie et géométrie différentielle PY - 1974 DA - 1974/// SP - 157 EP - 180 VL - 15 IS - 2 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://www.numdam.org/item/CTGDC_1974__15_2_157_0/ UR - https://zbmath.org/?q=an%3A0362.18001 UR - https://www.ams.org/mathscinet-getitem?mr=387049 LA - en ID - CTGDC_1974__15_2_157_0 ER -