@article{1183736081,
author = {Robinson, J. A.},
title = {Review: Abraham Robinson, Proving a Theorem (as Done by Man, Logician, or Machine)},
journal = {J. Symbolic Logic},
volume = {32},
number = {1},
year = {1967},
language = {en},
url = {http://dml.mathdoc.fr/item/1183736081}
}
Robinson, J. A. Review: Abraham Robinson, Proving a Theorem (as Done by Man, Logician, or Machine). J. Symbolic Logic, Tome 32 (1967) no. 1, . http://gdmltest.u-ga.fr/item/1183736081/