Intuitionistic Type Theory
Per Martin-Lof
The analects of Confucius
Confucius
The History of the Peloponnesian War
Thucydides
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
Clean Code: A Handbook of Agile Software Craftsmanship / Edition ...
Robert Martin
Robert C. Martin (1)