Options, Futures, and Other Derivatives, Global Edition, 9/e
John C. Hull
Geometric Quantization
N. M. J. Woodhouse
The History of the Peloponnesian War
Thucydides
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Designing the Mind: The Principles of Psychitecture
Designing The Mind & Ryan A Bush