Basic Proof Theory
By
Anne S. Troelstra
Anne S. Troelstra,
H. Schwichtenberg
H. Schwichtenberg
1996 • 343 pages

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

Become a Librarian

Tags

Genre

Series

Featured Series

4 released books

Cambridge Tracts in Theoretical Computer Science

Cambridge Tracts in Theoretical Computer Science is a 4-book series first released in 1987 with contributions by Gregory Chaitin, N. Shankar, and Anne S. Troelstra.

Algorithmic Information Theory
Metamathematics, Machines and Gödel's Proof
Basic Proof Theory
Modal Logic

Reviews

Popular Reviews

Reviews with the most likes.

There are no reviews for this book. Add yours and it'll show up right here!

Top Lists

See all (2)

List

3 books

Textbook

allen_liao
Allen Liao
Type Theory and Formal Proof: An Introduction
Basic Proof Theory

List

7 books

Logic

allen_liao
Allen Liao
Paradoxes
Beyond the Limits of Thought
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