An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs Autor Paolo Mancosu et al. 17 aug 2021 Paperback Preț: 253.70 lei 291.50 lei 40-51 zile | 5-11 zile -13%
