No label defined (Q4941991)
From MaRDI portal
scientific article; zbMATH DE number 1418436
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1418436 |
Statements
26 December 2000
0 references
proof theory
0 references
explicit mathematics
0 references
applicative theories
0 references
survey
0 references
classical logic
0 references
functionals of higher types
0 references
polynomial time
0 references
