@article{1183731613, author = {Turing, A. M.}, title = {Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers}, journal = {J. Symbolic Logic}, volume = {18}, number = {1}, year = {1953}, language = {en}, url = {http://dml.mathdoc.fr/item/1183731613} }
Turing, A. M. Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers. J. Symbolic Logic, Tome 18 (1953) no. 1, . http://gdmltest.u-ga.fr/item/1183731613/