@article{1183386544,
author = {Rosser, Barkley},
title = {Definition by Induction in Quine's New Foundations for Mathematical Logic},
journal = {J. Symbolic Logic},
volume = {4},
number = {1},
year = {1939},
pages = { 80-81},
language = {en},
url = {http://dml.mathdoc.fr/item/1183386544}
}
Rosser, Barkley. Definition by Induction in Quine's New Foundations for Mathematical Logic. J. Symbolic Logic, Tome 4 (1939) no. 1, pp. 80-81. http://gdmltest.u-ga.fr/item/1183386544/