Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Greek, an Intensive Course
Hardy Hansen & Gerald M. Quinn
Philosophy of the Future
Jason Reza Jorjani
Dirty Genes: A Breakthrough Program to Treat the Root Cause ...
Ben Lynch
Divine Proportions: Rational Trigonometry to Universal Geometry
Norman John Wildberger