ExploreSign inJoin
Basic Proof Theory
Sign up to use

In print

Bookshop.orgAmazonBook OutletWorld of BooksScholastic

Ebook

KoboAmazon

Audiobook

Libro.fmAudiobooks.com

Library

Find at your library

We may earn a commission. Learn more.

Basic Proof Theory

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

In print

Bookshop.orgAmazonBook OutletWorld of BooksScholastic

Ebook

KoboAmazon

Audiobook

Libro.fmAudiobooks.com

Library

Find at your library

We may earn a commission. Learn more.

Reviews

No reviews yet.
Be the first to write one.

Highlights

No highlights yet.
Be the first to share one.