Intuitionistic Type Theory
Per Martin-Lof
Euripides I: Alcestis, Medea, the Children of Heracles, Hippolytus
Euripides
Ways that are Dark: The Truth about China
Ralph Townsend
The Divine Proportion
H. E. Huntley
Designing the Mind: The Principles of Psychitecture
Ryan A Bush & Designing The Mind