@article{1183732184,
author = {Nelson, Raymond J.},
title = {Review: Robert S. Ledley, Mathematical Foundations and Computational Methods for a Digital Logic Machine},
journal = {J. Symbolic Logic},
volume = {20},
number = {1},
year = {1955},
pages = { 195-197},
language = {en},
url = {http://dml.mathdoc.fr/item/1183732184}
}
Nelson, Raymond J. Review: Robert S. Ledley, Mathematical Foundations and Computational Methods for a Digital Logic Machine. J. Symbolic Logic, Tome 20 (1955) no. 1, pp. 195-197. http://gdmltest.u-ga.fr/item/1183732184/