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... This description may be from another edition of this product.