TY  - BOOK
AU  - TARSKI ALFRED
TI  - LOGIC
U1  - 510.1  T178L 
PY  - 1956///
CY  - OXFORD
PB  - CLARENDON
ER  -