MARC Record from Library of Congress

LEADER: 01610cam a22003617a 4500
001 2011279265
003 DLC
005 20120816091051.0
008 120731s2011 mau f b 000 0 eng
010 $a 2011279265
020 $a9780983700401 (pbk.)
020 $a0983700400 (pbk.)
020 $a9780792359043 (alk. paper)
020 $a0792359046 (alk. paper)
035 $a(OCoLC)ocn768114935
040 $aWLU$cWLU$dYDXCP$dDCU$dOCLCO$dDLC
042 $alccopycat
050 00 $aQA9.615$b.A33 2011
100 1 $aAdams, R. J. L.$q(Rod J. L.)
245 13 $aAn early history of recursive functions and computability :$bfrom Gödel to Turing /$cRod Adams.
250 $a[New ed.]
260 $aBoston :$bDocent Press,$cc2011.
300 $axi, 297 p. ;$c23 cm.
504 $aIncludes bibliographical references (p. 289-297).
500 $aOriginally published as the author's thesis (Ph.D.), School of Information Sciences, Hatfield Polytechnic, 1983, under the title A history of the theory of recursive functions and computability with special reference to the developments initiated by Gödel's incompleteness theorems.
520 $aTraces the development of recursive functions from their origins in the late nineteenth century to the mid-1930s, with particular emphasis on the work and influence of Kurt Gödel.
500 $aEdition from publisher's preface.
650 0 $aRecursive functions$xHistory.
650 0 $aComputable functions$xHistory.
650 0 $aGödel's theorem$xHistory.
650 0 $aRecursive functions.
650 0 $aComputable functions.
650 0 $aGödel's theorem.