Logic Colloquium 2004 : proceedings of the annual European summer meeting of the association for symbolic logic, held in Torino, Italy, July 25-31, 2004 edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella

Contributor(s):

ISSN:

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 AND (Browse shelf(Opens below))	Available		245129

Previous		No cover image available				No cover image available		Next
Previous	511.3 ALL Numbers and proofs	511.3 ALL Logical reasoning with diagrams	511.3 AMA Domains and lambda-calculi	511.3 AND Logic Colloquium 2004 : proceedings of the annual European summer meeting of the association for symbolic logic, held in Torino, Italy, July 25-31, 2004	511.3 AND Logic, meaning, and computation : essays in memory of Alonzo church	511.3 ANT Nonmonotonic reasoning	511.3 ANT Proof Techniques and Fundamental Concepts of Abstract Mathematics	Next

Includes bibliographical references

There are no comments on this title.

to post a comment.

Find us on the map