A coding method for a sequent calculus of propositional logic
From MaRDI portal
Publication:946138
DOI10.1007/s10986-008-9008-6zbMath1156.03010OpenAlexW2089782082MaRDI QIDQ946138
Publication date: 22 September 2008
Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10986-008-9008-6
Related Items (1)
This page was built for publication: A coding method for a sequent calculus of propositional logic