Open Access
1972 On the uniqueness of the shortest single axiom or the implicational calculus of propositions
Toshihiko Sekimoto
Proc. Japan Acad. 48(5): 290-292 (1972). DOI: 10.3792/pja/1195519666
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.48 • No. 5 • 1972
Back to Top