On a Method of Describing Formal Deductions Convenient for Theoretical Purposes (Q5582305)
From MaRDI portal
scientific article; zbMATH DE number 3300567
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On a Method of Describing Formal Deductions Convenient for Theoretical Purposes |
scientific article; zbMATH DE number 3300567 |
Statements
On a Method of Describing Formal Deductions Convenient for Theoretical Purposes (English)
0 references
1969
0 references
general logic
0 references
