Intuitionistic Type Theory
Per Martin-Lof
The Way of Hermes: New Translations of the Corpus Hermeticum ...
Clement Salaman & Dorine van Oyen & William D. Wharton & Jean-Pierre Mahe
Zen of Assembly Language: Knowledge
Michael Abrash
Conversations in the House of Life: A New Translation of the ...
Richard Jasnow & Karl-Theodor Zauzich
Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
