Computability and logic

By: Boolos, GeorgeContributor(s): Jeffrey, Richard CPublication details: Cambridge: Cambridge University Press 1989Edition: 3rd edDescription: x, 304p.: illISBN: 0521389232; 0521389232Subject(s): COMPUTABLE FUNCTIONS | RECURSIVE FUNCTION | LOGIC, SYMBOLICAL AND MATHEMATICALLOC classification: QA 9.59 BooOnline resources: Click here for electornic version | Click here for electornic version
Tags from this library: No tags from this library for this title.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Materials specified Copy number Status Date due Barcode
MONOGRAPH MONOGRAPH CBU-MAIN LIBRARY, KITWE.
QA 9.59 Boo (Browse shelf(Opens below)) 1 Available 028921
MONOGRAPH MONOGRAPH CBU-MAIN LIBRARY, KITWE.
QA 9.59 Boo (Browse shelf(Opens below)) 2 Available 019303
MONOGRAPH MONOGRAPH CBU-MAIN LIBRARY, KITWE.
QA 9.59 Boo (Browse shelf(Opens below)) 3 Available 025828
MONOGRAPH MONOGRAPH CBU-MAIN LIBRARY, KITWE.
QA 9.59 Boo (Browse shelf(Opens below)) 4 Available 40372
MONOGRAPH MONOGRAPH CBU-MAIN LIBRARY, KITWE.
QA 9.59 Boo (Browse shelf(Opens below)) 5 Available 47902

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.