Mathematics of Logic: A Guide to Completeness Theorems and Their Applications 2007 · ENGLISH · PDF View details →