A brief introduction to type theory and the univalence axiom
Jackson Macor
Designing the Mind: The Principles of Psychitecture
Designing The Mind & Ryan A Bush
Conversations in the House of Life: A New Translation of the ...
Richard Jasnow & Karl-Theodor Zauzich
Asclepius A Colletion and Interpretation ofthe Testimonies -- ...
Unknown
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti