English Beginner The Mathematics of Logic. A guide to completeness theorems and their applications Richard W. Kaye 2007 View book