Franklin

Staff View

LEADER 01321cam a2200397 a 4500
005 20180816233629.0
008 010802s2002 enka b 001 0 eng
001 9934029533503681
010
  
  
a| 2001043302
015
  
  
a| GBA2-Y9805
019
  
  
a| 49907405
020
  
  
a| 0521809754
020
  
  
a| 0521007585 (pbk.)
035
  
  
a| (OCoLC)ocm47755792
035
  
  
a| (OCoLC)47755792
035
  
  
a| 3402953
035
  
  
a| (PU)3402953-penndb-Voyager
035
  
  
z| (OCoLC)49907405
040
  
  
a| DLC c| DLC d| UKM d| C#P
049
  
  
a| PAUU
050
0
0
a| QA9.59 b| .B66 2002
082
0
0
a| 511.3 2| 21
100
1
  
a| Boolos, George.
245
1
0
a| Computability and logic.
250
  
  
a| 4th ed. / b| George S. Boolos, John P. Burgess, Richard C. Jeffrey.
260
  
  
a| Cambridge ; a| New York : b| Cambridge University Press, c| 2002.
300
  
  
a| xi, 356 p. : b| ill. ; c| 27 cm.
504
  
  
a| Includes bibliographical references (p. 348) and index.
650
  
0
a| Computable functions.
650
  
0
a| Recursive functions.
650
  
0
a| Logic, Symbolic and mathematical.
700
1
  
a| Burgess, John P., d| 1948-
700
1
  
a| Jeffrey, Richard C.
856
4
2
3| Publisher description u| http://www.loc.gov/catdir/description/cam022/2001043302.html
856
4
1
3| Table of contents u| http://www.loc.gov/catdir/toc/cam024/2001043302.html
994
  
  
a| E0 b| PAU