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