| Record ID | marc_binghamton_univ/bgm_openlib_final_0-5.mrc:118953572:939 |
| Source | Binghamton University |
| Download Link | /show-records/marc_binghamton_univ/bgm_openlib_final_0-5.mrc:118953572:939?format=raw |
LEADER: 00939nam 2200253v 4500
001 BIN01-000128594
005 20070826002101.0
008 740419 1974 eng u
035 $a(RLIN)0862761B
035 9 $aAAP4327$bSB
040 $cOU$dNBiSU$dCStRLIN
090 $aQA248.5$b.D28
099 $aQA248.5.D28
100 1 $aDavis, Martin,$d1928-
245 10 $aComputability;$b1973-1974$c[by] Martin Davis. Notes by Barry Jacobs.
260 $a[New York]$bCourant Institute of Mathematical Sciences$c[1974]
300 $av, 248 p.$c28 cm.
500 $aBased on the course "Computers and computability" as given at the Courant Institute of Mathematical Sciences, in the Fall 1973 semester.
650 0 $aRecursive functions.
650 0 $aUnsolvability (Mathematical logic)
650 0 $aComputable functions.
710 2 $aCourant Institute of Mathematical Sciences.
852 00 $aBIN$bBINMA$cMAIN$hQA248.5$i.D28$91
945 $d04/06/89