De Rerum Natura: V
Titus Lucretius Carus
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Conversations in the House of Life: A New Translation of the ...
Richard Jasnow & Karl-Theodor Zauzich
Asclepius A Colletion and Interpretation ofthe Testimonies -- ...
Unknown
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson