Intuitionistic Type Theory
Per Martin-Lof
Galileo's Error: Foundations for a New Science of Consciousness
Philip Goff
Latin, an Intensive Course
Floyd L. Moreland & Rita M. Fleischer
A History of Mathematical Notations: Vol. I
Florian Cajori
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti
