Finite nest structures and propositional logic

DOI10.2307/2270449zbMath0149.00601OpenAlexW1985845639MaRDI QIDQ5527814

Raymond M. Smullyan

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

zbMATH Keywords

mathematical logic

Related Items (3)

Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Relevant analytic tableaux

This page was built for publication: Finite nest structures and propositional logic