Formalized Recursive Functionals and For
โ Stephen C. Kleene
๐ Library
๐
1969
๐ Amer Mathematical Society
๐ English
โฆ LIBER โฆ
๐
Formalized Recursive Functionals and Formalized Realizability
โ Scribed by Stephen C. Kleene
- Publisher
- American Mathematical Society
- Year
- 1969
- Tongue
- English
- Leaves
- 110
- Series
- American Mathematical Society Memoir 89
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
โฆ Subjects
Mathematics;Logic;recursion;recursive functions
๐ SIMILAR VOLUMES
Formal Systems and Recursive Functions
โ J N Crossley, M A E Dummett
๐ Library
๐
1965
๐ Elsevier, Academic Press
๐ English
Formal systems and recursive functions
โ John N Crossley; Michael Dummett
๐ Library
๐
1965
๐ North-Holland, Elsevier Science
๐ English
Formules et formol
๐ Comics
๐
1975
๐ French
Formules et formol
๐ Comics
๐
1975
๐ French
Formules et formol
๐ Comics
๐
1975
๐ French