Intuitionistic Type Theory
Per Martin-Lof
Electricity and matter
Thomson, J. J. (Joseph John), Sir, 1856-1940
Real-Time Rendering, Fourth Edition
Tomas Akenine-Mo ̀ˆller & Eric Haines & Naty Hoffman
Accounting 101
Michele Cagan
Latin, an Intensive Course
Floyd L. Moreland & Rita M. Fleischer