Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Divine Proportions: Rational Trigonometry to Universal Geometry
Norman John Wildberger
Expert C Programming
Peter van der Linden
Complete Works of Aristotle, Volume 1
Aristotle, Barnes, J.
The Search for the Perfect Language
Umberto Eco