Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997/ edited by S. Barry Cooper, John K. Truss.

By:

Contributor(s):

Subject(s):

DDC 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	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 M689 1999 IMPA (Browse shelf(Opens below))	1	Available		39063000615412

Previous	No cover image available	No cover image available			No cover image available	No cover image available		Next
Previous	511.3 M645s 1936 IMPA A system of logic, ratiocinative and inductive; being a connected view of the principles of evidence and the methods of scientific investigation/	511.3 M689 1975 IMPA Model theory and applications.	511.3 M689 1981 IMPA Modern logic--a survey: historical, philosophical, and mathematical aspects of modern logic and its applications/	511.3 M689 1999 IMPA Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997/	511.3 M691 2008 IMPA Model theory with applications to algebra and analysis/	511.3 M691 2008 IMPA Model theory with applications to algebra and analysis/	511.3 M745m 1976 IMPA Mathematical logic/	Next

Includes bibliographical references.

There are no comments on this title.

to post a comment.