Manyebook
John Wilkinson
Egeria's Travels
No Argument for God
Introduction to Symbolic Logic and its Applications