00390nam a2200121Ia 4500008004100000082001800041100001800059245003600077260003400113300000900147630001800156650009400174211109s9999||||xx |||||||||||||| ||und||  a511.35bDAV-C  aDavis, Martin 0aComputability and Unsolvability  bMac Graw-HillaNew Yorkc1958  a210p  xGeneral Stack  a  Recursive functions vMathematical logicComputable functionsUnsolvability xMathematics