TY  - BOOK
AU  - JACOB,T.SCHWARTZ.
TI  - COMPUTATIONAL LOGIC AND SET THEORY
U1  - 511.322 
PY  - 2011///
CY  - LONDON
PB  - SPRINGER
ER  -