Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson
Dynamic Bible
Peter Han
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Age of Alternative Logics: Assessing Philosophy of Logic ...
Johan van Benthem & Gerhard Heinzmann & Manuel Rebuschi & Henk Visser
Latin, an Intensive Course
Floyd L. Moreland & Rita M. Fleischer
