Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Algorithms to Live By
Brian Christian
AI Game Programming Wisdom
Steve Rabin
De Umbris Idearum: On the Shadows of Ideas (Collected Works ...
Giordano Bruno
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar