@article{1183745256,
author = {da Costa, Newton C. A. and Bueno, Otavio},
title = {[Omnibus Review]},
journal = {J. Symbolic Logic},
volume = {62},
number = {1},
year = {1997},
pages = { 683-685},
language = {en},
url = {http://dml.mathdoc.fr/item/1183745256}
}
da Costa, Newton C. A.; Bueno, Otavio. [Omnibus Review]. J. Symbolic Logic, Tome 62 (1997) no. 1, pp. 683-685. http://gdmltest.u-ga.fr/item/1183745256/