Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Negating Negation: Against the Apophatic Abandonment of the ...
Timothy D. Knepper
Philosophy of Mathematics
Linnebo, Øystein
Why Nazism Was Socialism and Why Socialism Is Totalitarian
George Reisman
3D Math Primer for Graphics and Game Development
Fletcher Dunn, Ian Parberry
