Duals of Smullyan trees

DOI10.1305/NDJFL/1093890628MaRDI QIDQ2539845zbMATH OpenOpenAlexFDO

Authors Hugues Leblanc, D. Paul Snyder

Publication date 1972

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093890628

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Classical first-order logic (03B10)

This page was built for publication: Duals of Smullyan trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2539845)