~ tracking down this book ~
The mathematical analysis of logic — OmList