@article{GDZPPN002043211,
title = {On Tarski's Formalization of Predicate Logic with Identity.},
journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
volume = {7},
year = {1964},
pages = {81-101},
zbl = {0166.00105},
url = {http://dml.mathdoc.fr/item/GDZPPN002043211}
}
Montague, R.; Kalish, D. On Tarski's Formalization of Predicate Logic with Identity.. Archiv für mathematische Logik und Grundlagenforschung, Tome 7 (1964) pp. 81-101. http://gdmltest.u-ga.fr/item/GDZPPN002043211/