Cargando…

Recursive analysis /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Goodstein, R. L. (Reuben Louis)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam : North-Holland, 1961.
Colección:Studies in logic and the foundations of mathematics ; v. 29.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn428102103
003 OCoLC
005 20231117032826.0
006 m o d
007 cr cnu---unuuu
008 090728s1961 ne a ob 001 0 eng d
010 |z  62006131  
040 |a OPELS  |b eng  |e pn  |c OPELS  |d OCLCQ  |d OCLCE  |d OCLCQ  |d OPELS  |d OCLCF  |d N$T  |d EBLCP  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d LEAUB  |d OCLCQ  |d RDF  |d OCLCO  |d OCL  |d OCLCO  |d OCLCQ  |d INARC  |d OCLCO 
019 |a 300524980  |a 559495648  |a 813228330  |a 1086489709  |a 1151086143 
020 |a 9780080957494  |q (electronic bk.) 
020 |a 0080957498  |q (electronic bk.) 
020 |z 9780444533944 
020 |z 044453394X 
035 |a (OCoLC)428102103  |z (OCoLC)300524980  |z (OCoLC)559495648  |z (OCoLC)813228330  |z (OCoLC)1086489709  |z (OCoLC)1151086143 
042 |a dlr 
050 4 |a QA9.6  |b .R43 1961 
072 7 |a MAT  |x 000000  |2 bisacsh 
082 0 4 |a 511.3/5  |2 22 
245 0 0 |a Recursive analysis /  |c edited by R.L. Goodstein. 
260 |a Amsterdam :  |b North-Holland,  |c 1961. 
300 |a 1 online resource (vi, 138 pages) :  |b illustrations 
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 Studies in Logic and the Foundations of Mathematics ;  |v v. 29 
505 0 |a Recursive convergence -- Recursive and relative continuity -- Relative integral -- Elementary functions -- Transfinite ordinals. 
504 |a Includes bibliographical references and index. 
588 0 |a Print version record. 
533 |a Electronic reproduction.  |b [Place of publication not identified] :  |c HathiTrust Digital Library,  |d 2010.  |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 2010  |h HathiTrust Digital Library  |l committed to preserve  |2 pda  |5 MiAaHDL 
520 |a Provability, Computability and Reflection. 
650 0 |a Recursion theory. 
650 0 |a Recursive functions. 
650 6 |a Fonctions r�ecursives.  |0 (CaQQLa)201-0024594 
650 6 |a Th�eorie de la r�ecursivit�e.  |0 (CaQQLa)201-0077505 
650 7 |a MATHEMATICS  |x General.  |2 bisacsh 
650 7 |a Recursive functions  |2 fast  |0 (OCoLC)fst01091984 
650 7 |a Recursion theory  |2 fast  |0 (OCoLC)fst01091982 
700 1 |a Goodstein, R. L.  |q (Reuben Louis) 
776 0 8 |i Print version:  |a Goodstein, R.L.  |t Recursive analysis, 29.  |d Burlington : Elsevier, �2000  |z 9780444533944 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 29. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444533944  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/29  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=29  |z Texto completo