\(S_5\) with the CBF
From MaRDI portal
Publication:2558300
DOI10.1305/NDJFL/1093891891zbMath0254.02024OpenAlexW2000215635MaRDI QIDQ2558300
Publication date: 1975
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093891891
This page was built for publication: \(S_5\) with the CBF