Publication:3016126
From MaRDI portal
zbMath1216.03018MaRDI QIDQ3016126
Publication date: 13 July 2011
01A60: History of mathematics in the 20th century
03-03: History of mathematical logic and foundations
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
Prawitz, Proofs, and Meaning, Proof theory for reasoning with Euler diagrams: a logic translation and normalization, A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION, Cut as Consequence
