| Record ID | marc_loc_2016/BooksAll.2016.part08.utf8:18535708:1014 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part08.utf8:18535708:1014?format=raw |
LEADER: 01014cam a2200277 4500
001 73081531
003 DLC
005 19990716000000.0
008 740731s1974 ne b 101 0 eng
010 $a 73081531
015 $aNe74-18
020 $a044410545X (American Elsevier)
040 $aDLC$cDLC$dDLC
050 00 $aQA9.6$b.S95 1972
082 00 $a511/.3
111 2 $aSymposium on Generalized Recursion Theory,$b1st,$cUniversity of Oslo,$d1972.
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 p.$c23 cm.
350 $afl88.40
440 0 $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$xCongresses.
700 1 $aFenstad, Jens Erik,$eed.
700 1 $aHinman, Peter G.,$eed.