Language Implementation Patterns
Terence Parr
Common sense
Paine, Thomas, 1737-1809
Intuitionistic Type Theory
Per Martin-Lof
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger
Conversations in the House of Life: A New Translation of the ...
Richard Jasnow & Karl-Theodor Zauzich
The Ancient Egyptian Book of Thoth: A Demotic Discourse on Knowledge ...