~ tracking down this book ~
Symbolic Logic — OmList