Manyebook
Warren Goldfarb
Deductive Logic