Science Since Babylon
Derek J. deSolla Price
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Sphaera mundi
Sacro Bosco, Joannes de, active 1230; Regiomontanus, Joannes, ...
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson
Renaissance Truths: Humanism, Scholasticism and the Search for ...
Professor Alan R Perreiah