Cargando…

Formalized recursive functionals and formalized realizability /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Kleene, Stephen Cole, 1909-1994 (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Providence : American Mathematical Society, 1969.
Colección:Memoirs of the American Mathematical Society ; no. 89.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 i 4500
001 EBOOKCENTRAL_ocn884584266
003 OCoLC
005 20240329122006.0
006 m o d
007 cr cn|||||||||
008 750508s1969 riu ob 000 0 eng d
040 |a E7B  |b eng  |e rda  |e pn  |c E7B  |d OCLCO  |d EBLCP  |d OCLCF  |d OCLCQ  |d AU@  |d OCLCQ  |d QGK  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 1241926291  |a 1259240535 
020 |a 9781470400385  |q (e-book) 
020 |a 1470400383  |q (e-book) 
020 |z 9780821812891 
029 1 |a AU@  |b 000069666827 
035 |a (OCoLC)884584266  |z (OCoLC)1241926291  |z (OCoLC)1259240535 
050 4 |a QA9.615  |b .K54 1969eb 
082 0 4 |a 511.352  |q OCoLC  |2 22/eng/20230216 
049 |a UAMI 
100 1 |a Kleene, Stephen Cole,  |d 1909-1994,  |e author.  |1 https://id.oclc.org/worldcat/entity/E39PBJt8m48C4bXHvjmFPXbw4q 
245 1 0 |a Formalized recursive functionals and formalized realizability /  |c by S.C. Kleene. 
264 1 |a Providence :  |b American Mathematical Society,  |c 1969. 
300 |a 1 online resource (110 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Memoirs of the American Mathematical Society ;  |v number 89 
500 |a Cover title. 
504 |a Includes bibliographical references (pages 104-106). 
588 0 |a Print version record. 
546 |a English. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Recursive functions. 
650 6 |a Fonctions récursives. 
650 7 |a Recursive functions  |2 fast 
758 |i has work:  |a Formalized recursive functionals and formalized realizability (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCGHdVBrDbj9mfqwmWxg9Xd  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Kleene, Stephen Cole.  |t Formalized recursive functionals and formalized realizability.  |d Providence : American Mathematical Society, 1969  |h 106 ; 26 cm  |k Memoirs of the American Mathematical Society ; no. 89  |z 9780821812891 
830 0 |a Memoirs of the American Mathematical Society ;  |v no. 89. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3113525  |z Texto completo 
936 |a BATCHLOAD 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL3113525 
938 |a ebrary  |b EBRY  |n ebr10882184 
994 |a 92  |b IZTAP