Intuitionistic Type Theory
Per Martin-Lof
The Thirteen Books of Euclid's Elements
Euclid, Johan Ludvig Heiberg
Algorithms to Live By
Brian Christian
Unreal Engine VR Cookbook: Developing Virtual Reality with UE4
Mitch McCaffrey
Iamblichi Chalcidensis in Platonis Dialogos Commentariorum Fragmenta
John M. Dillon
Philosophy as a Rite of Rebirth: From Ancient Egypt to Neoplatonism
Algis Uždavinys