TY  - BOOK
AU  - Steen S. W. P.
TI  - Mathematical Logic
U1  - B:R1, L2;2 
PY  - 1972///
KW  - Logic
ER  -