What Is the Problem with Proof Nets for Classical Logic?
From MaRDI portal
Publication:3576229
DOI10.1007/978-3-642-13962-8_45zbMath1286.03155OpenAlexW2111687337MaRDI QIDQ3576229
Publication date: 29 July 2010
Published in: Programs, Proofs, Processes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-13962-8_45
Related Items (2)
This page was built for publication: What Is the Problem with Proof Nets for Classical Logic?