Finite nest structures and propositional logic
From MaRDI portal
Publication:5527814
DOI10.2307/2270449zbMath0149.00601MaRDI QIDQ5527814
Publication date: 1966
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270449
Related Items
Relevant analytic tableaux, Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic, Jean van Heijenoort's contributions to proof theory and its history