On axiom systems of propositional calculi, VI (Q5536243): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Created claim: Wikidata QID (P12): Q114575994, #quickstatements; #temporary_batch_1714685954669 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q114575994 / rank | |||
Normal rank |
Revision as of 23:43, 2 May 2024
scientific article; zbMATH DE number 3251390
Language | Label | Description | Also known as |
---|---|---|---|
English | On axiom systems of propositional calculi, VI |
scientific article; zbMATH DE number 3251390 |
Statements
On axiom systems of propositional calculi, VI (English)
0 references
1965
0 references
mathematical logic
0 references