Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs Mancosu Paolo Innbundet / 2021 / Engelsk
Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs Mancosu Paolo Heftet / 2021 / Engelsk
