Record Details     « New Search       Brief Record Full Record MARC Record     Bibliographic Data Control Number UPD-00000175177 Date and Time of Latest Transaction 20090716221412.0 General Information 050413s2002 enka b 001 0 eng International Standard Book Number 0521007585 Cataloging Source DENG Language Code eng Local Call Number FOR REVISION QA 9.59 B66 2002 Main Entry - Personal Name Boolos, George Title Statement Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey Edition Statement 4th ed Physical Description xi, 356 p. : ill Subject Added Entry - Topical Term Computable functions   Recursive functions   Logic, Symbolic and mathematical Added Entry - Personal Name Burgess, John P., 1948-   Jeffrey, Richard C. Collection Category FO Format Monograph Location UP DENG FOR REVISION QA 9.59 B66 2002 UDEGB0033638 Regular Circulation E-34601 Textual Physical Form Designator Book           Physical Location University of the Philippines Diliman: College of Engineering Library I FOR REVISION QA 9.59 B66 2002           Digital Copy Not Available          Add to Book Cart  |   Download MARC