~ tracking down this book ~
Understanding Symbolic Logic — OmList