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

By:

Contributor(s):

Material type: Text

TextPublication details: Cambridge ; New York : Cambridge University Press, c2002.Edition: 4th edDescription: xi, 356 p. : ill. ; 27 cmContent type:

Media type:

Carrier type:

ISBN:

Subject(s):

DDC classification:

LOC classification:

Online resources:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Book - Borrowing	Central Library First floor	Alef-Baa	511.3 BOO (Browse shelf(Opens below))	Available		000016891

Total holds: 0

Previous								Next
Previous	511.1 FIN Finite mathematics with applications in the management, natural, and social sciences /	511.1 SAR A textbook of discrete mathematics /	511.1 SAR A textbook of discrete mathematics /	511.3 BOO Computability and Logic /	511.3 BUR Logic for mathematics and computer science /	511.3 DIM DNA Based Computers V : DIMACS Workshop DNA Based Computers V, June 14-15, 1999, Massachusetts Institute of Technology /	511.3 DIM Discrete Mathematical Problems with Medical Applications : DIMACS Workshop Discrete Mathematical Problems with Medical Applications, December 8-10, 1999, DIMACS Center /	Next

Includes bibliographical references (p. 348) and index.

There are no comments on this title.

to post a comment.

Novelist Select