Basic Proof Theory

Basic Proof Theory

4 Cambridge Tracts in Theoretical Computer Science

Basic Proof Theory

By

Anne S. Troelstra,

H. Schwichtenberg

By

Anne S. Troelstra,

H. Schwichtenberg

1996 • 343 pages

List

3 books

Textbook

Cover 8

Logic

Type Theory and Formal Proof: An Introduction

Basic Proof Theory

List

7 books

Logic

Paradoxes

Beyond the Limits of Thought

Cover 8

Logic

Logic and Theism: Arguments for and against Beliefs in God

The Yablo Paradox: An Essay on Circularity

Type Theory and Formal Proof: An Introduction

Basic Proof Theory

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies