~ tracking down this book ~
Introduction to Elementary Mathematical Logic by A. A. Stolyar — OmList