A note on the axiomatization of Rubin's system

DOI10.1305/NDJFL/1093958256zbMATH Open0133.24403OpenAlexW2004212388MaRDI QIDQ2395746FDOQ2395746

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)