@article{1183737434,
author = {Rose, Alan},
title = {Review: A. Porter, P. K. T. Vaswani, The Optimization of Logical Goal-Seeking Procedures},
journal = {J. Symbolic Logic},
volume = {35},
number = {1},
year = {1970},
language = {en},
url = {http://dml.mathdoc.fr/item/1183737434}
}
Rose, Alan. Review: A. Porter, P. K. T. Vaswani, The Optimization of Logical Goal-Seeking Procedures. J. Symbolic Logic, Tome 35 (1970) no. 1, . http://gdmltest.u-ga.fr/item/1183737434/