Formalized recursive functionals and formalized realizability /

Formalized recursive functionals and formalized realizability / / by S.C. Kleene.

Saved in:
Bibliographic Details
Superior document:Memoirs of the American Mathematical Society ; number 89
VerfasserIn:
Kleene, Stephen Cole, 1909-1994,
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!
id 5003113525
ctrlnum (MiAaPQ)5003113525
(Au-PeEL)EBL3113525
(CaPaEBR)ebr10882184
(OCoLC)884584266
collection bib_alma
record_format marc
spelling Kleene, Stephen Cole, 1909-1994, author.
Formalized recursive functionals and formalized realizability / by S.C. Kleene.
Providence : American Mathematical Society, 1969.
1 online resource (110 pages).
text rdacontent
computer rdamedia
online resource rdacarrier
Memoirs of the American Mathematical Society ; number 89
Cover title.
Bibliography: pages 104-106.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Recursive functions.
Electronic books.
Print version: Kleene, Stephen Cole. Formalized recursive functionals and formalized realizability. Providence : American Mathematical Society, 1969 106 ; 26 cm Memoirs of the American Mathematical Society ; no. 89 9780821812891
ProQuest (Firm)
Memoirs of the American Mathematical Society ; no. 89.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113525 Click to View
language English
format eBook
author Kleene, Stephen Cole, 1909-1994,
spellingShingle Kleene, Stephen Cole, 1909-1994,
Formalized recursive functionals and formalized realizability /
Memoirs of the American Mathematical Society ;
author_facet Kleene, Stephen Cole, 1909-1994,
author_variant s c k sc sck
author_role VerfasserIn
author_sort Kleene, Stephen Cole, 1909-1994,
title Formalized recursive functionals and formalized realizability /
title_full Formalized recursive functionals and formalized realizability / by S.C. Kleene.
title_fullStr Formalized recursive functionals and formalized realizability / by S.C. Kleene.
title_full_unstemmed Formalized recursive functionals and formalized realizability / by S.C. Kleene.
title_auth Formalized recursive functionals and formalized realizability /
title_new Formalized recursive functionals and formalized realizability /
title_sort formalized recursive functionals and formalized realizability /
series Memoirs of the American Mathematical Society ;
series2 Memoirs of the American Mathematical Society ;
publisher American Mathematical Society,
publishDate 1969
physical 1 online resource (110 pages).
isbn 9781470400385 (e-book)
9780821812891
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19.615 K54 41969
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113525
illustrated Not Illustrated
oclc_num 884584266
work_keys_str_mv AT kleenestephencole formalizedrecursivefunctionalsandformalizedrealizability
status_str n
ids_txt_mv (MiAaPQ)5003113525
(Au-PeEL)EBL3113525
(CaPaEBR)ebr10882184
(OCoLC)884584266
hierarchy_parent_title Memoirs of the American Mathematical Society ; number 89
hierarchy_sequence no. 89.
is_hierarchy_title Formalized recursive functionals and formalized realizability /
container_title Memoirs of the American Mathematical Society ; number 89
_version_ 1792330845799841792
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01786nam a2200409 i 4500</leader><controlfield tag="001">5003113525</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">750508s1969 riu ob 000 0 eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780821812891</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781470400385 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5003113525</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL3113525</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10882184</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)884584266</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.615</subfield><subfield code="b">.K54 1969</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kleene, Stephen Cole,</subfield><subfield code="d">1909-1994,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formalized recursive functionals and formalized realizability /</subfield><subfield code="c">by S.C. Kleene.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence :</subfield><subfield code="b">American Mathematical Society,</subfield><subfield code="c">1969.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (110 pages).</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Memoirs of the American Mathematical Society ;</subfield><subfield code="v">number 89</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Cover title.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Bibliography: pages 104-106.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Recursive functions.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Kleene, Stephen Cole.</subfield><subfield code="t">Formalized recursive functionals and formalized realizability.</subfield><subfield code="d">Providence : American Mathematical Society, 1969</subfield><subfield code="h">106 ; 26 cm</subfield><subfield code="k">Memoirs of the American Mathematical Society ; no. 89</subfield><subfield code="z">9780821812891</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Memoirs of the American Mathematical Society ;</subfield><subfield code="v">no. 89.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113525</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items