A note on the axiomatization of Rubin's system

DOI10.1305/NDJFL/1093958256MaRDI QIDQ2395746zbMATH OpenOpenAlexFDO

Authors J. T. Canty

Publication date 1965

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

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

zbMATH Keywords

mathematical logic

This page was built for publication: A note on the axiomatization of Rubin's system

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