English Beginner Mathematics of Logic: A Guide to Completeness Theorems and Their Applications Kaye L. 2007 View book