An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs Mancosu, Paolo Galvan, Sergio Zach, Richard 9780192895943 Heftet 17.08.2021 Engelsk I salg
An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs Mancosu, Paolo Galvan, Sergio Zach, Richard 9780192895936 Innbundet 17.08.2021 Engelsk I salg
