~ tracking down this book ~
First-order logic by Leigh S. Cauman — OmList