~ tracking down this book ~
Logical Book — OmList