A Modern Perspective on Type Theory: From Its Origins Until ...
F. D. Kamareddine & T. Laan & Rob Nederpelt
The Sailor's Word Book: The Classic Source for Over 14,000 Nautical ...
W. H. Smyth
Mathematical Optimization and Economic Theory
Michael David Intriligator
Example using Mathematica to generate similar plot as Tikz using ...
Nasser M. Abbasi
Fascism and Dictatorship: The Third International and the Problem ...
Nicos Poulantzas
A Pocket Guide to the U.S. Constitution
Andrew B. Arnold