Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formalized recursive functionals and formalized realizability / / Stephen Cole Kleene
| Formalized recursive functionals and formalized realizability / / Stephen Cole Kleene |
| Autore | Kleene Stephen Cole <1909-1994> |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 1969 |
| Descrizione fisica | 1 online resource (110 pages) |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico | Recursive functions |
| ISBN | 1-4704-0038-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910788605003321 |
Kleene Stephen Cole <1909-1994>
|
||
| Providence, : American Mathematical Society, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formalized recursive functionals and formalized realizability / / Stephen Cole Kleene
| Formalized recursive functionals and formalized realizability / / Stephen Cole Kleene |
| Autore | Kleene Stephen Cole <1909-1994> |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Providence, : American Mathematical Society, 1969 |
| Descrizione fisica | 1 online resource (110 pages) |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico | Recursive functions |
| ISBN | 1-4704-0038-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro -- Contents -- Introduction -- PART I. FORMALIZED RECURSIVE FUNCTIONALS -- 1. Computation tree numbers -- 2. p-terms and p-functors -- r≅s (definition and basic properties) -- 3. Representation of p-terms by proper Indices -- 4. The recursion theorem -- the normal form theorem -- {r}[β] and Λβ u[β] -- !R & -- [A(R)] -- PART II. FORMALIZED REALIZABILITY -- 5. Intuitionistically provable formulas are realizable and @realizable -- References. |
| Record Nr. | UNINA-9910811899903321 |
|
Kleene Stephen Cole <1909-1994>
|
||
| Providence, : American Mathematical Society, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||