TY  - BOOK
AU  - Kaye, Richard
TI  - Mathematics of logic : A guide to completeness theorems and their applications
SN  - 9780521708777
CY  - New york
KW  - Mathematical logic
ER  -