TY  - BOOK
AU  - Curray, Haskell B
TI  - Foundations of mathematical logic
U1  - 511.1 
PY  - 1963///
CY  - New York
PB  - Mc Graw-Hill
KW  - Epithory
KW  - Mathematical logic
KW  - Negation
ER  -