%0 Journal Article %A Osius, Gerhard %T The internal and external aspect of logic and set theory in elementary topoi %J Cahiers de topologie et géométrie différentielle %D 1974 %P 157-180 %V 15 %N 2 %I Dunod éditeur, publié avec le concours du CNRS %G en %F CTGDC_1974__15_2_157_0