Internal Computability (Q5425336)
From MaRDI portal
scientific article; zbMATH DE number 5211264
Language | Label | Description | Also known as |
---|---|---|---|
English | Internal Computability |
scientific article; zbMATH DE number 5211264 |
Statements
Internal Computability (English)
0 references
13 November 2007
0 references
Computable Analysis
0 references
Nonstandard Analysis
0 references
Constructive Mathematics
0 references
Type-2 Theory of Effectivity
0 references
Theory of Representations
0 references