1.
Kaye R. The Mathematics of Logic :A Guide to Completeness Theorems and their Applications/R. Kaye. - 2008