@article{1183736643,
author = {Ferebee, Ann S.},
title = {Review: Raymond M. Smullyan, Elementary Formal Systems},
journal = {J. Symbolic Logic},
volume = {34},
number = {1},
year = {1969},
language = {en},
url = {http://dml.mathdoc.fr/item/1183736643}
}
Ferebee, Ann S. Review: Raymond M. Smullyan, Elementary Formal Systems. J. Symbolic Logic, Tome 34 (1969) no. 1, . http://gdmltest.u-ga.fr/item/1183736643/