No label defined (Q4793038)
From MaRDI portal
scientific article; zbMATH DE number 1870426
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1870426 |
Statements
18 February 2003
0 references
constructivity of proofs
0 references
indirect proofs
0 references
existence proofs
0 references
Behmann
0 references
Kaufmann
0 references
Gödel
0 references
Bernays
0 references
