Basic Proof Theory

Sign up to use
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.