The Story of Western Science
Susan Wise Bauer
Creative Mind
Ernest Holmes
Handbook of Logic in Artificial Intelligence and Logic Programming: ...
Dov M. Gabbay & C. J. Hogger & J. A. Robinson
Proof Theory of Modal Logic
Heinrich Wansing
Language in Theory: A Resource Book for Students
Mark Robson
Scientific Introspection
William A. Adams