Constructivism and Metamathematics (Q5258986)
From MaRDI portal
scientific article; zbMATH DE number 6449646
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructivism and Metamathematics |
scientific article; zbMATH DE number 6449646 |
Statements
Constructivism and Metamathematics (English)
0 references
24 June 2015
0 references
intuitionism
0 references
completeness
0 references
provability
0 references
