Formalized recursive functionals and formalized realizability / / by S.C. Kleene.
Saved in:
Superior document: | Memoirs of the American Mathematical Society ; number 89 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Providence : : American Mathematical Society,, 1969. |
Year of Publication: | 1969 |
Language: | English |
Series: | Memoirs of the American Mathematical Society ;
no. 89. |
Online Access: | |
Physical Description: | 1 online resource (110 pages). |
Notes: | Cover title. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
- Journal of formalized reasoning.
-
Realizability : an introduction to its categorical side / / Jaap van Oosten.
by: Oosten, Jaap van.
Published: (2008.) -
Greedy Algorithms / / edited by Witold Bednorz.
by: Bednorz, Witold
Published: (2008) -
Digital Platforms and Algorithmic Subjectivities / / edited by Emiliana Armano, Marco Briziarelli, Elisabetta Risi.
Published: (2022.) -
Fuzzy Logic / / edited by Constantin Volosencu and Andries Engelbrecht.
Published: (2020.)