An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs Autor Paolo Mancosu et al. 17 aug 2021 Paperback Preț: 232.03 lei 260.28 lei 41-52 zile | 10-14 zile -11%
