An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs Autor Paolo Mancosu et al. 17 aug 2021 Paperback Preț: 201.25 lei 229.40 lei 11-16 zile | 7-13 zile -12%
