Authors: Paolo Mancosu

  • An Introduction to Proof Theory Normalization, Cut-elimination, and Consistency Proofs — Paolo Mancosu

    An Introduction to Proof Theory Normalization, Cut-elimination, and Consistency Proofs — Paolo Mancosu

  • Abstraction and Infinity — Paolo Mancosu

    Abstraction and Infinity — Paolo Mancosu