Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
René Descartes: Principles of Philosophy: Translated, With Explanatory ...
René Descartes
The Timaeus of Plato
Plato; Archer-Hind, R. D. (Richard Dacre), 1849-1910
Language Implementation Patterns
Terence Parr
Euripides V: Bacchae, Iphigenia in Aulis, the Cyclops, Rhesus
Euripides
Euripides I: Alcestis, Medea, the Children of Heracles, Hippolytus
Euripides IV: Helen, the Phoenician Women, Orestes
Euripides III: Heracles, the Trojan Women, Iphigenia Among the ...
Euripides II: Andromache, Hecuba, the Suppliant Women, Electra
Eros and Magic in the Renaissance
Ioan P. Culianu
On Descartes' Metaphysical Prism: The Constitution and the Limits ...
Jean-Luc Marion
Democracy in America
de Tocqueville, Alexis