Intuitionistic Type Theory
Per Martin-Lof
hymn to king helios
Unknown
Stand on Zanzibar
John Brunner
Foundations of Mechanical Accuracy
Wayne R. Moore
Anti-Tech Revolution: Why and How
Theodore John Kaczynski