Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) (Volume 0)
I will be using this book for:
Log in to remove ads

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) (Volume 0)

by A. S. Troelstra, H. Schwichtenberg

Education Mathematics Computer Science
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

Basic Proof Theory offers a focused treatment of proof theory from authors A. S. Troelstra and H. Schwichtenberg. Published as Volume 43 in the Cambridge Tracts in Theoretical Computer Science series, it provides a formal reference for readers interested in mathematics and theoretical computer science.

ISBN-13 9780521779111 ASIN 0521779111 Views 11 Publisher Cambridge University Press Year 2000 Edition 2 Format Paperback Product Group Book Pages 432 Adult No Created July 26, 2026 Updated September 28, 2026
About This Book

Basic Proof Theory presents a focused treatment of proof theory by A. S. Troelstra and H. Schwichtenberg.

The book belongs to the Cambridge Tracts in Theoretical Computer Science series as Volume 43.

It is suited to readers seeking a formal study of proof theory within mathematics and theoretical computer science.

This listing describes a used book in good condition.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for: