Richard W. Kaye

The Mathematics of Logic A Guide to Completeness Theorems and Their Applications - Cambridge University Press 2007

9780521708777


Infinity
Logic, Symbolic and mathematical.
MATHEMATICS