@article{1183521497,
author = {Halmos, Paul R.},
title = {Review: Alfred Tarski, Logic, semantics, metamathematics},
journal = {Bull. Amer. Math. Soc.},
volume = {63},
number = {6},
year = {1957},
pages = { 155-156},
language = {en},
url = {http://dml.mathdoc.fr/item/1183521497}
}
Halmos, Paul R. Review: Alfred Tarski, Logic, semantics, metamathematics. Bull. Amer. Math. Soc., Tome 63 (1957) no. 6, pp. 155-156. http://gdmltest.u-ga.fr/item/1183521497/