No label defined (Q4190626)
From MaRDI portal
scientific article; zbMATH DE number 3628939
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 3628939 |
Statements
1978
0 references
Elementary Topos
0 references
Constructive Mathematics
0 references
Axiom of Infinity
0 references
Category of Generalized Recursive Languages
0 references
Category of Primitive Recursive Isomorphisms
0 references
Type Zero Grammars
0 references
Categorical Syntax and Semantics
0 references
Hypothetical Brain
0 references
