Zur Axiomatisierung der <i>k</i>‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls (Q5726689)
From MaRDI portal
scientific article; zbMATH DE number 3190330
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Zur Axiomatisierung der <i>k</i>‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls |
scientific article; zbMATH DE number 3190330 |
Statements
Zur Axiomatisierung der <i>k</i>‐zahlig allgemeingültigen Ausdrücke des Stufenkalküls (English)
0 references
1958
0 references
mathematical logic
0 references
