Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Foundations of Mechanical Accuracy
Wayne R. Moore
Negating Negation: Against the Apophatic Abandonment of the ...
Timothy D. Knepper
The Courage of Hopelessness: Chronicles of a Year of Acting ...
Slavoj Žižek
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson