TY  - BOOK
AU  - Henkin, L
AU  - AMS
TI  - Proceedings of the Tarski symposium
N1  - Bp J9
ER  -