This book is intended as an undergraduate senior level or beginning graduate level text for mathematical logic. There are virtually …
