TY  - BOOK
AU  - Tarski Alfred
TI  - Logic, semantics metamathematics
U1  - B:R1, J61-;1 
PY  - 1956///
KW  -  Mathematical logic
KW  - Mathematics
ER  -