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