Hierarchies of predicates of finite types /

Hierarchies of predicates of finite types / / by D.A. Clarke.

Saved in:
Bibliographic Details
Superior document:Memoirs of the American Mathematical Society ; number 51
VerfasserIn:
Clarke, Douglas Albert,
Place / Publishing House:Providence : : American Mathematical Society,, 1964.
Year of Publication:1964
Language:English
Series:Memoirs of the American Mathematical Society ; no. 51.
Online Access:
Physical Description:1 online resource (99 pages).
Notes:Cover title.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5003113448
ctrlnum (MiAaPQ)5003113448
(Au-PeEL)EBL3113448
(CaPaEBR)ebr10882107
(OCoLC)894337480
collection bib_alma
record_format marc
spelling Clarke, Douglas Albert, author.
Hierarchies of predicates of finite types / by D.A. Clarke.
Providence : American Mathematical Society, 1964.
1 online resource (99 pages).
text rdacontent
computer rdamedia
online resource rdacarrier
Memoirs of the American Mathematical Society ; number 51
Cover title.
Bibliography: pages 93-95.
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.
Number theory.
Recursive functions.
Electronic books.
Print version: Clarke, Douglas Albert. Hierarchies of predicates of finite types. Providence : American Mathematical Society, 1964 95 ; 26 cm Memoirs of the American Mathematical Society ; no. 51 9780821812518
ProQuest (Firm)
Memoirs of the American Mathematical Society ; no. 51.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113448 Click to View
language English
format eBook
author Clarke, Douglas Albert,
spellingShingle Clarke, Douglas Albert,
Hierarchies of predicates of finite types /
Memoirs of the American Mathematical Society ;
author_facet Clarke, Douglas Albert,
author_variant d a c da dac
author_role VerfasserIn
author_sort Clarke, Douglas Albert,
title Hierarchies of predicates of finite types /
title_full Hierarchies of predicates of finite types / by D.A. Clarke.
title_fullStr Hierarchies of predicates of finite types / by D.A. Clarke.
title_full_unstemmed Hierarchies of predicates of finite types / by D.A. Clarke.
title_auth Hierarchies of predicates of finite types /
title_new Hierarchies of predicates of finite types /
title_sort hierarchies of predicates of finite types /
series Memoirs of the American Mathematical Society ;
series2 Memoirs of the American Mathematical Society ;
publisher American Mathematical Society,
publishDate 1964
physical 1 online resource (99 pages).
isbn 9780821899960 (e-book)
9780821812518
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA241
callnumber-sort QA 3241 C53 41964
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113448
illustrated Not Illustrated
oclc_num 894337480
work_keys_str_mv AT clarkedouglasalbert hierarchiesofpredicatesoffinitetypes
status_str n
ids_txt_mv (MiAaPQ)5003113448
(Au-PeEL)EBL3113448
(CaPaEBR)ebr10882107
(OCoLC)894337480
hierarchy_parent_title Memoirs of the American Mathematical Society ; number 51
hierarchy_sequence no. 51.
is_hierarchy_title Hierarchies of predicates of finite types /
container_title Memoirs of the American Mathematical Society ; number 51
_version_ 1792330845748461568
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01763nam a2200421 i 4500</leader><controlfield tag="001">5003113448</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">750530s1964 riu ob 000 0 eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780821812518</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780821899960 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5003113448</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL3113448</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10882107</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)894337480</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">QA241</subfield><subfield code="b">.C53 1964</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Clarke, Douglas Albert,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hierarchies of predicates of finite types /</subfield><subfield code="c">by D.A. Clarke.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence :</subfield><subfield code="b">American Mathematical Society,</subfield><subfield code="c">1964.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (99 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 51</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Cover title.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Bibliography: pages 93-95.</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">Number theory.</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">Clarke, Douglas Albert.</subfield><subfield code="t">Hierarchies of predicates of finite types.</subfield><subfield code="d">Providence : American Mathematical Society, 1964</subfield><subfield code="h">95 ; 26 cm</subfield><subfield code="k">Memoirs of the American Mathematical Society ; no. 51</subfield><subfield code="z">9780821812518</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. 51.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3113448</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items