@article{1183737087, author = {DiPaola, R. A.}, title = {Review: Frederic B. Fitch, Recursive Functions in Basic Logic}, journal = {J. Symbolic Logic}, volume = {35}, number = {1}, year = {1970}, pages = { 152-153}, language = {en}, url = {http://dml.mathdoc.fr/item/1183737087} }
DiPaola, R. A. Review: Frederic B. Fitch, Recursive Functions in Basic Logic. J. Symbolic Logic, Tome 35 (1970) no. 1, pp. 152-153. http://gdmltest.u-ga.fr/item/1183737087/