TY  - BOOK
AU  - Kaye,Richard
TI  - The mathematics of logic: a guide to completeness theorems and their applications 
SN  - 9780521708777 (pbk.)
PY  - 2007///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Logic, Symbolic and mathematical
KW  - Completeness theorem
N1  - Includes index; Includes bibliographical references
ER  -