Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Revolutionizing the Sciences European Knowledge & Its Ambitions, ...
Peter Dear
Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark
Beyond Order
Jordan B. Peterson
Navigating Metabolism by Navdeep S. Chandel
Hiroshi Nakai
