Richard W. Kaye The Mathematics of Logic A Guide to Completeness Theorems and Their Applications - Cambridge University Press 2007 ISBN: 9780521708777 Subjects--Topical Terms: InfinityLogic, Symbolic and mathematical.MATHEMATICS