A brief introduction to type theory and the univalence axiom
Jackson Macor
The History of the Peloponnesian War
Thucydides
Patent Pending in 24 Hours
Attorneys Richard Stim & David Pressman (Nolo)
Great Transformations: Economic Ideas and Institutional Change ...
Mark Blyth
Hypercomplex Numbers: An Elementary Introduction to Algebras
I. L. Kantor & A. S. Solodovnikov