scientific article
From MaRDI portal
Publication:3016126
zbMath1216.03018MaRDI QIDQ3016126
Publication date: 13 July 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (4)
Proof theory for reasoning with Euler diagrams: a logic translation and normalization ⋮ A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION ⋮ Cut as Consequence ⋮ Prawitz, Proofs, and Meaning
This page was built for publication:
