An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs Autor Paolo Mancosu et al. 17 aug 2021 Paperback Preț: 257.02 lei 291.50 lei 43-49 zile | 6-10 zile -12%
