@article{1183731159, author = {Shepherdson, J. C.}, title = {Inner Models for Set Theory--Part I}, journal = {J. Symbolic Logic}, volume = {16}, number = {1}, year = {1951}, pages = { 161-190}, language = {en}, url = {http://dml.mathdoc.fr/item/1183731159} }
Shepherdson, J. C. Inner Models for Set Theory--Part I. J. Symbolic Logic, Tome 16 (1951) no. 1, pp. 161-190. http://gdmltest.u-ga.fr/item/1183731159/