LEADER 00000pam  2200000 i 4500 
001    80040432 
008    800609s1980    enk      b    00110 eng   
015    GB80 
020    0521299675 (pbk.) 
020    0521234794 
050 0  QA9.59|b.B66 1980 
082    511.3 
100 10 Boolos, George 
245 10 Computability and logic /|cGeorge Boolos, Richard Jeffrey 
250    2d ed 
260 0  Cambridge [Eng.] ;|aNew York :|bCambridge University Press,
       |c1980 
300    x, 285 p. ;|c24 cm 
504    Includes bibliographical references and index 
650  0 Computable functions 
650  0 Recursive functions 
650  0 Logic, Symbolic and mathematical 
700 10 Jeffrey, Richard C.,|ejoint author 
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  QA9.59 B66 1980    AVAILABLE    30340200174666