Practical Foundations for Programming Languages
Robert Harper
Nicholas of Cusa on Learned Ignorance: A Translation and an ...
Cardinal Nicholas (of Cusa) & Jasper Hopkins
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger
A History of Mathematical Notations: Vol. I
Florian Cajori
Navigating Metabolism by Navdeep S. Chandel
Hiroshi Nakai