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 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/ LA - en ID - CTGDC_1974__15_2_157_0 ER -