Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Linkers and Loaders
John R. Levine
Complete Works of Xenophon (Illustrated) (Delphi Ancient Classics)
Xenophon
Unreal Engine VR Cookbook: Developing Virtual Reality with UE4
Mitch McCaffrey
New Foundations for Classical Mechanics
D. Hestenes
