Intuitionistic Type Theory
Per Martin-Lof
Dive Into Design Patterns
Alexander Shvets
3D Game Engine Programming
Stefan Zerbst & Oliver Düvel
Causality, Electromagnetic Induction, and Gravitation: A Different ...
Oleg D. Jefimenko
Why Nazism Was Socialism and Why Socialism Is Totalitarian
George Reisman