Category - Textbook/Educational Curriculum / College & Above
Format - Paperback
Condition - Like New
Listed - 4 months ago
Views - 8
Ships From - New Mexico
Est. Publication Date - Aug 2021
Seller Description
Small crease in the top corner
Additional Information
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
ISBN: 9780192895943
Publisher Description
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also ser...
Read more
Be The First One To Review
Review the book today!
Rate The Book
Published
Drafts