|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
EBOOKCENTRAL_ocn894337480 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr bn||||||abp |
| 007 |
cr bn||||||ada |
| 008 |
141102s1964 riu ob 000 0 eng d |
| 040 |
|
|
|a OCLCE
|b eng
|e pn
|c OCLCE
|d GZM
|d COO
|d UIU
|d OCLCF
|d E7B
|d LLB
|d YDXCP
|d EBLCP
|d OCLCQ
|d STF
|d OCLCQ
|d LEAUB
|d OCLCQ
|d K6U
|d OCLCQ
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|
| 019 |
|
|
|a 654273021
|a 851085879
|a 907198011
|a 1016030909
|a 1086455413
|a 1416768936
|
| 020 |
|
|
|a 9780821899960
|
| 020 |
|
|
|a 0821899961
|
| 020 |
|
|
|z 9780821812518
|
| 020 |
|
|
|z 0821812513
|
| 029 |
1 |
|
|a AU@
|b 000056953229
|
| 035 |
|
|
|a (OCoLC)894337480
|z (OCoLC)654273021
|z (OCoLC)851085879
|z (OCoLC)907198011
|z (OCoLC)1016030909
|z (OCoLC)1086455413
|z (OCoLC)1416768936
|
| 042 |
|
|
|a dlr
|
| 050 |
|
4 |
|a QA3
|b .A57 no.51
|
| 082 |
0 |
4 |
|a 511.352
|2 22
|
| 084 |
|
|
|a SI 810
|2 rvk
|
| 084 |
|
|
|a SK 130
|2 rvk
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Clarke, D. A.
|q (Douglas Albert)
|
| 245 |
1 |
0 |
|a Hierarchies of predicates of finite types /
|c by D.A. Clarke.
|
| 260 |
|
|
|a Providence, R.I. :
|b American Mathematical Society,
|c 1964.
|
| 300 |
|
|
|a 1 online resource (95 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 no. 51
|
| 500 |
|
|
|a Cover title.
|
| 504 |
|
|
|a Includes bibliographical references (pages 93-95).
|
| 588 |
0 |
|
|a Print version record.
|
| 506 |
|
|
|3 Use copy
|f Restrictions unspecified
|2 star
|5 MiAaHDL
|
| 533 |
|
|
|a Electronic reproduction.
|b [Place of publication not identified] :
|c HathiTrust Digital Library,
|d 2014.
|5 MiAaHDL
|
| 538 |
|
|
|a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2014
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 505 |
0 |
0 |
|t Introduction
|t Summary
|t 1. Complete predicates and their degrees
|t 2. The finite hierarchies
|t 3. Transfinite hierarchies
|t 4. Reduction of the definition of $^m_k0^r$ to explicit definition
|t 5. Uniqueness ordinals
|t 6. The case of $^m_k0^r$ etc. when $m = r$
|t 7. Relatively recursive well orderings.
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Recursive functions.
|
| 650 |
|
0 |
|a Number theory.
|
| 650 |
|
6 |
|a Fonctions récursives.
|
| 650 |
|
6 |
|a Théorie des nombres.
|
| 650 |
|
7 |
|a Number theory
|2 fast
|
| 650 |
|
7 |
|a Recursive functions
|2 fast
|
| 650 |
|
7 |
|a Aussage
|2 gnd
|
| 650 |
|
7 |
|a Hierarchie
|2 gnd
|
| 650 |
|
7 |
|a Prädikat
|2 gnd
|
| 650 |
|
7 |
|a Prädikatenlogik
|2 gnd
|
| 655 |
|
7 |
|a Finiter Typus.
|2 swd
|
| 758 |
|
|
|i has work:
|a Hierarchies of predicates of finite types (Text)
|1 https://id.oclc.org/worldcat/entity/E39PD349ck76rPrRVHT99KhKtX
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Clarke, D.A. (Douglas Albert).
|t Hierarchies of predicates of finite types.
|d Providence, R.I. : American Mathematical Society, 1964
|w (OCoLC)1361881
|
| 830 |
|
0 |
|a Memoirs of the American Mathematical Society ;
|v no. 51.
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3113448
|z Texto completo
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL3113448
|
| 938 |
|
|
|a ebrary
|b EBRY
|n ebr10882107
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 11898218
|
| 994 |
|
|
|a 92
|b IZTAP
|
