On axiom systems of propositional calculi, VI (Q114575994)
Jump to navigation
Jump to search
scientific article published in 1965
Language | Label | Description | Also known as |
---|---|---|---|
English | On axiom systems of propositional calculi, VI |
scientific article published in 1965 |
Statements
On axiom systems of propositional calculi, VI (English)
1 reference
Shôtarô Tanaka
1 reference
1 January 1965
1 reference
41
1 reference
8
1 reference