TY  - BOOK
AU  - Kaye, Sanford
TI  - Mathematics of logic: A guide to completeness theorems and their applications
U1  - 510 KAY 
CY  - Cambridge
ER  -