Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti
Stonehouses Anatomy (Jap)
Superani
Intuitionistic Type Theory
Per Martin-Lof
Syrianus: On Aristotle Metaphysics 13-14
Syrianus, ,O'Meara, Dominic J,Dillon, John