@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/