~ tracking down this book ~
First Course in Mathematical Logic by Patrick Suppes — OmList