Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
Springer, March 1987. Hardcover. This book is intended as an undergraduate senior level or beginning graduate level text for mathematical logic. There are virtually no prere quisites, although a familiarity with notions encountered in a beginning course in abstract algebra such as groups, rings, and fields will be useful in..... More