TY  - BOOK
AU  - Steen, S. W. P.
TI  - MATHEMATICAL LOGIC
U1  - 511.3 
PY  - 1972///
CY  - Cambridge
PB  - University Press
KW  - Logic, Symbolic And Mathematical
N1  - Ref. : P. 621-630
ER  -