Mathematical logic : a course with exercises / Rene Cori and Daniel Lascar.

By:

Contributor(s):

Material type: Text

TextPublication details: Oxford : OUP, 2001.Description: 2v. ; 24 cmISBN:

Subject(s):

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	Home library	Call number	Copy number	Status	Barcode
Books	Main Campus Library	University of Eastern Africa, Baraton	QA 9 .C742513 2000 C.1 (Browse shelf(Opens below))	C.1	Available	60491
Books	Main Campus Library	University of Eastern Africa, Baraton	QA 9 .C742513 2000 C.2 (Browse shelf(Opens below))	C.2	Available	60492

Propositional calculus, Boolean algebras, predicate calculus-Recursion theory, Godel's theorems, set theory. model theory.

Includes bibliographical references and index.

Open.

There are no comments on this title.

to post a comment.