Mathematical logic: a course with exercises/ René Cori and Daniel Lascar ; translated by Donald H. Pelletier.

By:

Contributor(s):

Language: English Original language: French Publication details: Oxford: New York: Oxford University Press, 2000-2001.Description: 2 v.; 24 cmISBN:

Uniform titles:

Subject(s):

DDC classification:

Incomplete contents:

Propositional calculus, Boolean algebras, predicate calculus -- Recursion theory, Gödel's theorems, set theory. model theory.

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	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 C798m 2001 IMPA (Browse shelf(Opens below))	1	Available		39063000593601
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 C798m 2001 IMPA (Browse shelf(Opens below))	2	Available		39063000605033

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available		Next
Previous	511.3 C764 1972 IMPA Contributions to non-standard analysis/	511.3 C774p 1942 IMPA A primer of formal logic/	511.3 C798m 2001 IMPA Mathematical logic: a course with exercises/	511.3 C798m 2001 IMPA Mathematical logic: a course with exercises/	511.3 C837i 1962 IMPA Introdução aos fundamentos da matematica.	511.3 C872a 1914 IMPA L'algèbre de la logique/	511.3 C872p 1980 IMPA Les principes des mathématiques: avec un appendice sur la philosophie des mathématiques de Kant/	Next

Includes bibliographical references and index.

Propositional calculus, Boolean algebras, predicate calculus -- Recursion theory, Gödel's theorems, set theory. model theory.

There are no comments on this title.

to post a comment.