Mathematics of Logic: A Guide to Completeness Theorems and Their Applications by Richard Kaye | Menrva Books | MenrvaBooks