Mathematical logic : a course with exercises. Pt. 2, recursion theory, Gödel’s theorems, set theory, model theory René Cori and Daniel Lascar ; translated by Donald H. Pelletier

By:

Contributor(s):

Publication details: Oxford Oxford University Press 2001Description: xx, 331 p. ; 25 cmISBN:

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.3 COR (Browse shelf(Opens below))	Available		198593

Previous					No cover image available			Next
Previous	511.3 COP Symbolic Logic	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	511.3 COR Mathematical logic : a course with exercises. Pt. 1 : Propositional calculus, Boolean algebras, predicate calculus	511.3 COR Mathematical logic : a course with exercises. Pt. 2, recursion theory, Gödel’s theorems, set theory, model theory	511.3 CRE Complexity classifications of Boolean constraint satisfaction problems	511.3 CRO Categories for types	511.3 CRO Categories for types	Next

Translated from the French. Includes bibliographical references and index

There are no comments on this title.

to post a comment.

Back to results

Find us on the map