Computability theory S. Barry Cooper

By:

Publication details: Boca Raton, FL Chapman & Hall/CRC c2004Description: ix, 409 p. : ill. ; 25 cm., : acid-free paperISBN:

ISSN:

Subject(s):

DDC classification:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Materials specified	Status	Barcode
English Books	Anna Centenary Library 5TH FLOOR, A WING	511.3 COO (Browse shelf(Opens below))	hbk	Available	288479

Previous								Next
Previous	511.3 CLO Boolean functions and computation models	511.3 COL Probabilistic logic in a coherent setting	511.3 COO Models and computability : invited papers from logic colloquium '97, European meeting of the association for symbolic logic, Leeds, July 1997	511.3 COO Computability theory	511.3 COP Symbolic Logic	511.3 COR Mathematical logic : a course with exercises	511.3 COR Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier. Pt. 2, recursion theory, Gödel’s theorems, set theory, model theory	Next

Includes bibliographical references (p. 383-388) and index

There are no comments on this title.

to post a comment.

Find us on the map