Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
12 Rules for Life: An Antidote to Chaos
Jordan B. Peterson
Game Programming Gems 7
Scott Jacobs
Dirty Genes: A Breakthrough Program to Treat the Root Cause ...
Ben Lynch
Electromagnetic Retardation and Theory of Relativity: New Chapters ...
Oleg D. Jefimenko