The formalization of mathematics (Q5829015)
From MaRDI portal
scientific article; zbMATH DE number 3090146
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The formalization of mathematics |
scientific article; zbMATH DE number 3090146 |
Statements
The formalization of mathematics (English)
0 references
1954
0 references
Philosophy and foundations of mathematics
0 references
