The Box: How the Shipping Container Made the World Smaller and ...
Marc Levinson
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Euripides V: Bacchae, Iphigenia in Aulis, the Cyclops, Rhesus
Euripides
Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
Life 3.0
Max Tegmark
