|
|
|
|
| LEADER |
00000cam a2200000Ma 4500 |
| 001 |
SCIDIR_ocn649907775 |
| 003 |
OCoLC |
| 005 |
20231117032817.0 |
| 006 |
m o d |
| 007 |
cr cn||||||||| |
| 008 |
780315s1978 ne ob 100 0 eng d |
| 040 |
|
|
|a E7B
|b eng
|e pn
|c E7B
|d OCLCQ
|d OPELS
|d OCLCE
|d OCLCO
|d OCLCQ
|d N$T
|d OPELS
|d OCLCF
|d YDXCP
|d OCL
|d OCLCQ
|d DEBSZ
|d S2H
|d OCLCO
|d OCLCQ
|d OCLCO
|
| 019 |
|
|
|a 428097355
|a 681179380
|a 805931055
|
| 020 |
|
|
|a 9780080955025
|q (electronic bk.)
|
| 020 |
|
|
|a 0080955029
|q (electronic bk.)
|
| 020 |
|
|
|z 0444851631
|
| 020 |
|
|
|z 9780444851635
|
| 020 |
|
|
|z 0720422000
|
| 020 |
|
|
|z 0444854010
|
| 035 |
|
|
|a (OCoLC)649907775
|z (OCoLC)428097355
|z (OCoLC)681179380
|z (OCoLC)805931055
|
| 042 |
|
|
|a dlr
|
| 050 |
|
4 |
|a QA9.6
|b .S95 1977eb
|
| 072 |
|
7 |
|a MAT
|x 016000
|2 bisacsh
|
| 072 |
|
7 |
|a MAT
|x 018000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 511/.3
|
| 111 |
2 |
|
|a Symposium on Generalized Recursion Theory
|n (2nd :
|d 1977 :
|c University of Oslo)
|
| 245 |
1 |
0 |
|a Generalized recursion theory II :
|b proceedings of the 1977 Oslo Symposium /
|c edited by J.E. Fenstad, R.O. Gandy, G.E. Sacks.
|
| 260 |
|
|
|a Amsterdam :
|b North-Holland Pub. Co.,
|c 1978.
|
| 300 |
|
|
|a 1 online resource (vii, 417 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 Studies in logic and the foundations of mathematics ;
|v v. 94
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 588 |
0 |
|
|a Print version record.
|
| 506 |
|
|
|3 Use copy
|f Restrictions unspecified
|2 star
|5 MiAaHDL
|
| 533 |
|
|
|a Electronic reproduction.
|b [S.l.] :
|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
|
| 650 |
|
0 |
|a Recursion theory
|v Congresses.
|
| 650 |
|
0 |
|a Recursion theory
|x Congresses.
|
| 650 |
|
6 |
|a Th�eorie de la r�ecursivit�e
|0 (CaQQLa)201-0077505
|x Congr�es.
|0 (CaQQLa)201-0378208
|
| 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 Recursion theory
|2 fast
|0 (OCoLC)fst01091982
|
| 650 |
|
7 |
|a R�ecursivit�e, Th�eorie de la
|x Congr�es.
|2 ram
|
| 653 |
|
|
|a Mathematics
|a Recursive functions
|
| 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
|
| 700 |
1 |
|
|a Fenstad, Jens Erik.
|
| 700 |
1 |
|
|a Gandy, R. O.
|q (Robin O.)
|
| 700 |
1 |
|
|a Sacks, Gerald E.
|
| 776 |
0 |
8 |
|i Print version:
|a Symposium on Generalized Recursion Theory (2nd : 1977 : University of Oslo).
|t Generalized recursion theory II.
|d Amsterdam : North-Holland Pub. Co., 1978
|w (DLC) 78005366
|
| 830 |
|
0 |
|a Studies in logic and the foundations of mathematics ;
|v v. 94.
|
| 856 |
4 |
0 |
|u https://sciencedirect.uam.elogim.com/science/book/9780444851635
|z Texto completo
|
