~ tracking down this book ~
Elements of logic — OmList