Orpheus and the Roots of Platonism
Algis Uždavinys
Intuitionistic Type Theory
Per Martin-Lof
The Art of Game Design, 3rd Edition
Jesse Schell
Game Programming Patterns
Nystrom, Robert
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti