A Modern Perspective on Type Theory: From Its Origins Until ...
F. D. Kamareddine & T. Laan & Rob Nederpelt
Understanding Understanding - Syntactic Semantics and Computational ...
William J. Rapaport
Selenium Fundamentals: Speed Up Your Internal Testing by Automating ...
Diego Molina
The Merovingians
Alexander Callander Murray
Methods of Mathematical Modelling
Thomas Witelski & Mark Bowen
Springer Undergraduate Mathematics Series (1)
The History of Torture
Daniel P. Mannix