Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Geometry and Monadology: Leibniz's Analysis Situs and Philosophy ...
Vincenzo de Risi
[Morpho Anatomy for Artists] Michel Lauricella - Morpho Skeleton ...
libgen.li
A DSP Primer: With Applications to Digital Audio and Computer ...
Kenneth Steiglitz
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger
The Ancient Egyptian Book of Thoth: A Demotic Discourse on Knowledge ...
Richard Jasnow & Karl-Theodor Zauzich
Iamblichus and the Theory of the Vehicle of the Soul
John F. Finamore
Damascius' Problems and Solutions Concerning First Principles
Damaskios
De Rerum Natura: V
Titus Lucretius Carus
The Craft of Thought: Meditation, Rhetoric, and the Making of ...
Mary Jean Carruthers
The Book of Memory: A Study of Memory in Medieval Culture
Mary Carruthers
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair