Computability and logic George S. Boolos, John P. Burgess, Richard C. Jeffrey

By:

Contributor(s):

Publication details: Cambridge Cambridge University Press 2007Edition: 5th edDescription: xiii, 350 p. : ill. ; 26 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.352 BOO (Browse shelf(Opens below))	Available		243815

Previous								Next
Previous	511.35 XAV Theory of automata, formal languages and computation : strictly as per U.P. Tech. syllabus	511.352 ARO Computational complexity : a modern approach	511.352 BOO Computability and logic	511.352 BOO Computability and logic	511.352 GOL Computational complexity : a conceptual perspective	511.352 MOS Elementary induction on abstract structures	511.352 MOS Elementary induction on abstract structures	Next

Includes bibliographical references (p. 341) and index

There are no comments on this title.

to post a comment.

Find us on the map