Pastāsti draugiem par šo preci:
Formalized Recursive Functionals and Formalized Realizability - Memoirs of the American Mathematical Society S.C. Kleene
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem S.C. Kleene izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Formalized Recursive Functionals and Formalized Realizability - Memoirs of the American Mathematical Society
S.C. Kleene
This monograph carries out the program which the author formulated in earlier work, the formalization of the theory of recursive functions of type 0 and 1 and of the theory of realizability.
106 pages
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1969. gada 30. decembris |
| ISBN13 | 9780821812891 |
| Izdevēji | American Mathematical Society |
| Lapas | 106 |
| Izmēri | 150 × 220 × 10 mm · 239 g (Svars (aptuveni)) |
![Cover for Ethan D. Bolker · Common Sense Mathematics - AMS / MAA Textbooks (Paperback Book) [Third edition] (2026)](https://imusic.b-cdn.net/images/item/original/934/9781470484934.jpg?ethan-d-bolker-2026-common-sense-mathematics-ams-maa-textbooks-paperback-book&class=scaled&v=1787581922)
![Cover for Alex Kasman · Glimpses of Soliton Theory: The Algebra and Geometry of Nonlinear PDEs - Student Mathematical Library (Paperback Book) [Second edition] (2023)](https://imusic.b-cdn.net/images/item/original/627/9781470472627.jpg?alex-kasman-2023-glimpses-of-soliton-theory-the-algebra-and-geometry-of-nonlinear-pdes-student-mathematical-library-paperback-book&class=scaled&v=1741190549)
