@article{1183733715,
author = {McNaughton, Robert},
title = {Review: N. A. Routledge, Logic on Electronic Computers: A Practical Method for Reducing Expressions to Conjunctive Normal Form},
journal = {J. Symbolic Logic},
volume = {24},
number = {1},
year = {1959},
language = {en},
url = {http://dml.mathdoc.fr/item/1183733715}
}
McNaughton, Robert. Review: N. A. Routledge, Logic on Electronic Computers: A Practical Method for Reducing Expressions to Conjunctive Normal Form. J. Symbolic Logic, Tome 24 (1959) no. 1, . http://gdmltest.u-ga.fr/item/1183733715/