Negating Negation: Against the Apophatic Abandonment of the ...
Timothy D. Knepper
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Beyond Order
Jordan B. Peterson
Ray Tracing Gems High-Quality & Real-Time Rendering & DXR & ...
Eric Haines, Tomas Akenine-Möller
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar