Ein Axiomensystem für die Syntax des (klassischen) Logikkalküls. (Q2603423)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ein Axiomensystem für die Syntax des (klassischen) Logikkalküls. |
scientific article |
Statements
Ein Axiomensystem für die Syntax des (klassischen) Logikkalküls. (English)
0 references
1937
0 references
Travaux du IX\(^{\text{e}}\) Congrès international de Philosophie. Congrès Descartes. VI: Logique et mathématiques.
0 references
