Cross reference to "The Mathematics of Logic"

See "The Mathematics of Logic: a guide to completeness theorems and their applications", by Richard Kaye, CUP 2007, July 2007

 Richard Kaye. 2015-09-30. Copyright Richard Kaye, http://web.mat.bham.ac.uk/R.W.Kaye/.