An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs Autor Paolo Mancosu et al. 17 aug 2021 Paperback Preț: 263.18 lei 296.06 lei 45-50 zile | 5-11 zile -11%
