The „Dialectica”︁ Interpretation and Categories (Q4196420)
From MaRDI portal
scientific article; zbMATH DE number 3636019
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The „Dialectica”︁ Interpretation and Categories |
scientific article; zbMATH DE number 3636019 |
Statements
The „Dialectica”︁ Interpretation and Categories (English)
0 references
1978
0 references
Goedel's Dialectic Interpretation
0 references
Idempotent Endo-Functor
0 references
Intui- Arithmetic in All Finite Function Types
0 references
