The shortest axiom of the implicational calculum of propositions.
| Main Author: | |
|---|---|
| Citation: | Proceedings of the Royal Irish Academy, Vol. LII, sect. A, pp. 25-33, April, 1948 |
| Format: | Journal Article |
| Published: |
April, 1948
|
| Subjects: |
At the NLI:
See Main Catalogue entry for
Proceedings of the Royal Irish Academy
