An Architectural Approach to Level Design
Christopher W. Totten
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Linear Algebra Done Right
Sheldon Axler
Negating Negation: Against the Apophatic Abandonment of the ...
Timothy D. Knepper