Record ID | marc_columbia/Columbia-extract-20221130-004.mrc:60824219:1527 |
Source | marc_columbia |
Download Link | /show-records/marc_columbia/Columbia-extract-20221130-004.mrc:60824219:1527?format=raw |
LEADER: 01527cam a2200349 4500
001 1544198
005 20220608184538.0
008 740731s1974 ne b 101 0 eng
010 $a 73081531
015 $aNe74-18
020 $a044410545X (American Elsevier)
035 $a(OCoLC)ocm01007181
035 $9AKC6043CU
035 $a(NNC)1544198
035 $a1544198
040 $aDLC$cDLC$dZCU
050 00 $aQA9.6$b.S95 1972
082 0 $a511/.3
111 2 $aSymposium on Generalized Recursion Theory$n(1st :$d1972 :$cUniversity of Oslo)
245 10 $aGeneralized recursion theory. :$bProceedings of the 1972 Oslo symposium /$cEd. by J. E. Fenstad and P. G. Hinman.
260 $aAmsterdam :$bNorth-Holland Pub. Co.;$aNew York :$bAmerican Elsevier Pub. Co.,$c1974.
300 $aviii, 456 pages ;$c23 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aStudies in logic and the foundations of mathematics ;$vv. 79
500 $aIncludes 12 papers from the symposium.
504 $aBibliography: p. 445-451.
650 0 $aRecursion theory$vCongresses.
700 1 $aFenstad, Jens Erik,$eeditor.$4http://id.loc.gov/vocabulary/relators/edt$0http://id.loc.gov/authorities/names/n79061185
700 1 $aHinman, Peter G.,$eeditor.$4http://id.loc.gov/vocabulary/relators/edt$0http://id.loc.gov/authorities/names/n84015177
830 0 $aStudies in logic and the foundations of mathematics ;$vv. 79.$0http://id.loc.gov/authorities/names/n42707789
852 00 $bmat$hQA248.5$i.S93 1972