Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Electrochemical Methods Fundamentals & Applications-Wiley
Allen J. Bard, Larry R. Faulkner
Algorithms to Live By
Brian Christian
The Search for Atlantis: A History of Plato's Ideal State
Kershaw, Stephen
Aristotelis Categoriae: Liber De Interpretatione
Aristotle