Formalized recursive functionals and formalized realizability/ by S. C. Kleene.
Series: Memoirs of the American Mathematical Society ; no. 89Publication details: Providence, R.I.: American Mathematical Society, 1969.Description: 106 p.: 26 cmSubject(s):| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Coleções de Monografias (Monographs Collections) | 1 | Available | 39063000258403 |
Cover title.
Bibliography: p. 104-106.
There are no comments on this title.