scientific article
From MaRDI portal
Publication:3745826
zbMATH Open0607.03004MaRDI QIDQ3745826
Publication date: 1986
Title of this publication is not available (Why is that?)
Related Items (5)
Voting theory in the Lean theorem prover ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ Propositional proof skeletons ⋮ Title not available (Why is that?) ⋮ The classification of propositional calculi
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3745826)
