Truth
Paul Horwich
The Politics of Truth
Michel Foucault
Introduction to Symbolic Logic and Its Applications
Rudolf Carnap
Georges Bataille : A Critical Introduction
Benjamin Noys
In the Beginning...was the Command Line
Neal Stephenson
Cryptography: A Very Short Introduction
Sean Murphy & Fred Piper
Beyond the universal Turing machine
B. Jack Copeland & Richard Sylvan