Intuitionistic Type Theory
Per Martin-Lof
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
De Umbris Idearum: On the Shadows of Ideas (Collected Works ...
Giordano Bruno
Game Physics
Eberly, David H.
Conversations of Socrates (Classics)
Xenophon
Civilization and its Discontents [1929; 2002, 2010]
Sigmund Freud
12 Rules for Life: An Antidote to Chaos
Jordan B. Peterson