Title: Three Views of Logic
Subtitle: Mathematics, Philosophy, and Computer Science
Subjects: Logic, Proof theory, Computable functions, Nonclassical mathematical logic, Berechenbarkeit, Beweistheorie, Nichtklassische Logik