TY  - BOOK
AU  - Kaye, Richard W. 
TI  - Mathematics of Logic: A Guide to Completeness Theorems and their Applications
SN  - 9780521708777
U1  - 511.3 
PY  - 2007///
CY  - Cambridge (U. K)
PB  - Cambridge University Press
KW  - Logic, Symbolic and mathematical
ER  -