~ tracking down this book ~
Introduction to Mathematical Logic by Elliott Mendelson — OmList