An Analysis of a Logical Machine Using Parenthesis-Free Notation (Q5831317)
From MaRDI portal
scientific article; zbMATH DE number 3092550
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Analysis of a Logical Machine Using Parenthesis-Free Notation |
scientific article; zbMATH DE number 3092550 |
Statements
An Analysis of a Logical Machine Using Parenthesis-Free Notation (English)
0 references
1954
0 references
philosophy and foundations of mathematics
0 references