Proceedings of the Japan Academy
Print ISSN : 0021-4280
On the Uniqueness of the Shortest Single Axiom for the Implicational Calculus of Propositions
Toshihiko SEKIMOTO
Author information
JOURNAL FREE ACCESS

1972 Volume 48 Issue 5 Pages 290-292

Details
Download PDF (183K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors

This article cannot obtain the latest cited-by information.

© The Japan Academy
Previous article Next article
Favorites & Alerts

Recently viewed articles
Predecessor

Proceedings of the Imperial Academy

Successor

Proceedings of the Japan Academy, Series B

Share this page
feedback
 Top