TY  - BOOK
AU  - Kaye, Richard
TI  - The mathematics of logic
SN  - 9780521708777
U1  - 511.3 
PY  - 2007///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Logic, Symbolic And Mathematical
ER  -