Intuitionistic Type Theory
Per Martin-Lof
Aristotelis-Categ[..]
Aristotle
Game Coding Complete
McShaffry, Mike(Author)
Geometric Quantization
N. M. J. Woodhouse
How to Draw: Drawing and Sketching Objects and Environments ...
Scott Robertson & Thomas Bertling