A History of Mathematical Notations: Vol. Ii
Florian Cajori
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Science Since Babylon
Derek J. deSolla Price
The Design of Everyday Things: Revised and Expanded Edition
Norman, Don
A Late Period Hieratic Wisdom Text: (P. Brooklyn 47.218.135)
Richard Lewis Jasnow