AboutSign inJoin
Basic Proof Theory

Basic Proof Theory

Helmut Schwichtenberg, Anne Sjerp Troelstra — 1996
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Sign up to use