Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Foundations of Game Engine Development, Volume 2: Rendering
Eric Lengyel
Electrochemical Methods Fundamentals & Applications-Wiley
Allen J. Bard, Larry R. Faulkner
The Making of Late Antiquity
Peter Brown
Language Unlimited
David Adger