Sign in
Join Literal
Basic Proof Theory
Helmut Schwichtenberg
Want to read
Sign up to use
Helmut Schwichtenberg
Basic Proof Theory
Helmut Schwichtenberg,
Anne Sjerp Troelstra
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
1
want to read
Discover more books like Basic Proof Theory
