Matters of separation

DOI10.1305/NDJFL/1093894721MaRDI QIDQ2539843zbMATH OpenOpenAlexFDO

Authors Hugues Leblanc, Robert K. Meyer

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/1093894721

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Classical first-order logic (03B10)

This page was built for publication: Matters of separation

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