@article{1183731802, author = {McNaughton, Robert}, title = {Review: S. C. Kleene, Papers on Predicate Calculus}, journal = {J. Symbolic Logic}, volume = {19}, number = {1}, year = {1954}, pages = { 62-63}, language = {en}, url = {http://dml.mathdoc.fr/item/1183731802} }
McNaughton, Robert. Review: S. C. Kleene, Papers on Predicate Calculus. J. Symbolic Logic, Tome 19 (1954) no. 1, pp. 62-63. http://gdmltest.u-ga.fr/item/1183731802/