| Record ID | harvard_bibliographic_metadata/ab.bib.01.20150123.full.mrc:77675671:1538 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.01.20150123.full.mrc:77675671:1538?format=raw |
LEADER: 01538cam a2200361 4500
001 001082026-4
005 20020606090541.3
008 740731s1974 ne b 10100 engm
010 $a 73081531 //r79
015 $aNe74-18
020 $a044410545X (American Elsevier)
035 0 $aocm01007181
040 $aDLC$cDLC$dm.c.
050 0 $aQA9.6$b.S95 1972
082 $a511/.3
111 2 $aSymposium on Generalized Recursion Theory$n(1st :$d1972 :$cUniversitetet i Oslo)
245 10 $aGeneralized recursion theory.$bProceedings of the 1972 Oslo symposium.$cEd. by J. E. Fenstad and P. G. Hinman.
260 0 $aAmsterdam,$bNorth-Holland Pub. Co.;$aNew York,$bAmerican Elsevier Pub. Co.,$c1974.
300 $aviii, 456 p.$c23 cm.
490 1 $aStudies in logic and the foundations of mathematics,$v79
500 $aIncludes 12 papers from the symposium.
504 $aBibliography: p. 445-451.
650 0 $aRecursion theory$vCongresses.
655 7 $aConference proceedings.$2fast
655 7 $aOslo (1972- )$2swd
700 1 $aFenstad, Jens Erik,$eed.
700 1 $aHinman, Peter G.,$eed.
700 1 $aFenstad, Jens Erik,$eeditor.
700 1 $aHinman, Peter G.,$eeditor.
776 08 $iOnline version:$aSymposium on Generalized Recursion Theory (1st : 1972 : University of Oslo).$tGeneralized recursion theory.$dAmsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1974$w(OCoLC)681857784
830 0 $aStudies in logic and the foundations of mathematics ;$vv. 79.
988 $a20020608
906 $0DLC