Generalized recursion theory : Proceedings of the 1972 Oslo symposium /

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: Symposium on Generalized Recursion Theory University of Oslo
Otros Autores: Fenstad, Jens Erik, Hinman, Peter G.
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1974.
Colección:Studies in logic and the foundations of mathematics ; v. 79.
Temas:
Recursion theory > Congresses.
Recursive functions.
Fonctions r�ecursives.
Th�eorie de la r�ecursivit�e > Congr�es.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Recursive functions
Recursion theory
Kongress
Rekursionstheorie
R�ecursivit�e, Th�eorie de la > Congr�es.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congr�es.
Oslo (1972- )
Acceso en línea:Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn428094666
003 OCoLC
005 20231117032811.0
006 m o d
007 cr cn|||||||||
008 090728s1974 ne ob 101 0 eng d
010 |z  73081531  
040 |a OPELS  |b eng  |e pn  |c OPELS  |d OCLCQ  |d E7B  |d N$T  |d OCLCQ  |d OPELS  |d OCLCF  |d YDXCP  |d OCLCE  |d OCL  |d OCLCQ  |d DEBSZ  |d VLY  |d LUN  |d S2H  |d OCLCO  |d OCLCQ  |d INARC  |d OCLCO  |d COM  |d OCLCO  |d OCLCQ  |d OCL  |d COA  |d OCLCO 
015 |a Ne74-18 
019 |a 649907790  |a 681857784  |a 1162549792  |a 1280758537  |a 1296420765  |a 1340103569 
020 |a 9780080954899  |q (electronic bk.) 
020 |a 0080954898  |q (electronic bk.) 
020 |a 1283525739 
020 |a 9781283525732 
020 |a 9786613838186 
020 |a 6613838187 
020 |z 9780444105455 
020 |z 044410545X 
020 |z 0720422000 
020 |z 0720422760 
020 |z 9780720422764 
020 |z 9780720422009 
024 8 |a (WaSeSS)ssj0000484597 
035 |a (OCoLC)428094666  |z (OCoLC)649907790  |z (OCoLC)681857784  |z (OCoLC)1162549792  |z (OCoLC)1280758537  |z (OCoLC)1296420765  |z (OCoLC)1340103569 
042 |a dlr 
050 4 |a QA9.6  |b .S95 1972 
055 3 |a QA248.5  |b S93 1972 
072 7 |a MAT  |x 016000  |2 bisacsh 
072 7 |a MAT  |x 018000  |2 bisacsh 
082 0 4 |a 511/.3  |2 22 
084 |a 03Dxx  |2 msc 
084 |a SD 1972  |2 rvk 
084 |a SK 130  |2 rvk 
111 2 |a Symposium on Generalized Recursion Theory  |n (1st :  |d 1972 :  |c University of Oslo) 
245 1 0 |a Generalized recursion theory :  |b Proceedings of the 1972 Oslo symposium /  |c Ed. by J.E. Fenstad and P.G. Hinman. 
260 |a Amsterdam :  |b North-Holland Pub. Co. ;  |a New York :  |b American Elsevier Pub. Co.,  |c 1974. 
300 |a 1 online resource (viii, 456 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |2 rdaft  |0 http://rdaregistry.info/termList/fileType/1002. 
490 1 |a Studies in logic and the foundations of mathematics ;  |v v. 79 
500 |a Includes 12 papers from the symposium. 
504 |a Includes bibliographical references (pages 445-451). 
588 0 |a Print version record. 
505 0 |a pt. 1. Recursion in objects of finite type -- pt. 2. Sets and ordinals -- pt. 3. Inductive definability -- pt. 4. Axiomatic approaches and general discussion -- pt. 5. A bibliography of generalized recursion theory. 
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 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. 
546 |a English. 
650 0 |a Recursion theory  |v Congresses. 
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  |v Congr�es.  |0 (CaQQLa)201-0378219 
650 7 |a MATHEMATICS  |x Infinity.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 7 |a Recursive functions  |2 fast  |0 (OCoLC)fst01091984 
650 7 |a Recursion theory  |2 fast  |0 (OCoLC)fst01091982 
650 7 |a Kongress  |2 gnd  |0 (DE-588)4130470-6 
650 7 |a Rekursionstheorie  |2 gnd  |0 (DE-588)4122329-9 
650 7 |a Recursion theory  |x Congresses.  |2 nli 
650 7 |a R�ecursivit�e, Th�eorie de la  |x Congr�es.  |2 ram 
655 2 |a Congress  |0 (DNLM)D016423 
655 7 |a proceedings (reports)  |2 aat  |0 (CStmoGRI)aatgf300027316 
655 7 |a Conference papers and proceedings  |2 fast  |0 (OCoLC)fst01423772 
655 7 |a Conference papers and proceedings.  |2 lcgft 
655 7 |a Actes de congr�es.  |2 rvmgf  |0 (CaQQLa)RVMGF-000001049 
655 7 |a Oslo (1972- )  |2 swd 
700 1 |a Fenstad, Jens Erik. 
700 1 |a Hinman, Peter G. 
776 0 8 |i Print version:  |a Symposium on Generalized Recursion Theory (1st : 1972 : University of Oslo).  |t Generalized recursion theory.  |d Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1974  |z 044410545X  |z 9780444105455  |w (DLC) 73081531  |w (OCoLC)1007181 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 79. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444105455  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/79  |z Texto completo 

Ejemplares similares