@article{1093870763, author = {Strauss, Paul}, title = {Number-theoretic set theories.}, journal = {Notre Dame J. Formal Logic}, volume = {26}, number = {1}, year = {1985}, pages = { 81-95}, language = {en}, url = {http://dml.mathdoc.fr/item/1093870763} }
Strauss, Paul. Number-theoretic set theories.. Notre Dame J. Formal Logic, Tome 26 (1985) no. 1, pp. 81-95. http://gdmltest.u-ga.fr/item/1093870763/