Effectiveness and provability (Q4318898)
From MaRDI portal
scientific article; zbMATH DE number 709423
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Effectiveness and provability |
scientific article; zbMATH DE number 709423 |
Statements
Effectiveness and provability (English)
0 references
11 January 1995
0 references
provably total functions
0 references
weak theories for analysis
0 references
