Intuitionistic Type Theory
Per Martin-Lof
Clean Code: A Handbook of Agile Software Craftsmanship / Edition ...
Robert Martin
Robert C. Martin (1)
Math You Can't Use : Patents, Copyright, and Software
Ben Klemens
Game Programming Gems 5
Kim Pallister
Ride the Tiger
Julius Evola