A brief introduction to type theory and the univalence axiom
Jackson Macor
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Deuterium Depletion: A New Way in Curing Cancer and Preserving ...
Gábor Somlyai
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
Grounding and Shielding: Circuits and Interference
Ralph Morrison
Game Engine Gems 2
Eric Lengyel
Gravitation and Cogravitation: Developing Newton's Theory of ...
Oleg D. Jefimenko
New Foundations for Classical Mechanics
D. Hestenes
Electromagnetic Retardation and Theory of Relativity: New Chapters ...
Electricity and Magnetism: An Introduction to the Theory of ...
Einstein Manifolds
Arthur L. Besse