Sale!

An Introduction to Proof Theory Normalization Cut Elimination and Consistency Proofs 1st Edition Paolo Mancosu

Original price was: $50.00.Current price is: $35.00.

An Introduction to Proof Theory Normalization Cut Elimination and Consistency Proofs 1st Edition Paolo Mancosu Digital Instant Download

Author(s): Paolo Mancosu, Sergio Galvan, Richard Zach
ISBN(s): 9780192895936, 0192895931
Edition: 1
File Details: PDF, 3.00 MB
Year: 2021
Language: english
SKU: EB-33987266 Categories: , Tags: , ,

An Introduction to Proof Theory Normalization Cut Elimination and Consistency Proofs 1st Edition Paolo Mancosu – Ebook Instant Download/Delivery ISBN(s): 9780192895936,0192895931