Search the Library Catalogue

Advanced search

Your search returned 4 results.

Results
	1.	Image from Google Jackets	Kurt Gödel : essays for his centennial edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson by Feferman, Solomon Gödel, Kurt Parsons, Charles Publication details: New York Association for Symbolic Logic, Cambridge University Press 2010 Availability: Items available for loan: Anna Centenary Library (1)Call number: 510 FEF.
	2.	Image from Google Jackets	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 by Andretta, Alessandro Kearnes, Keith Zambella, Domenico Association for Symbolic Logic, Logic Colloquium (2004 : Torino, Italy) Publication details: Chicago, IL ; Cambridge Association for Symbolic Logic ; Cambridge University Press 2008 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.3 AND.
	3.	Image from Google Jackets	Logic colloquium 2006 S Barry Cooper; Herman Geuvers; Anand Pillay; et al by Barry Cooper, S Anand Pillay Geuvers, Herman Publication details: Cambridge Association for Symbolic Logic 2009 Availability: Items available for loan: Anna Centenary Library (1)Call number: 160 COO.
	4.	Image from Google Jackets	Logical foundations of proof complexity Stephen Cook, Phuong Nguyen by Cook, Stephen Nguyen, Phuong Publication details: Ithaca, NY ; New York, NY Association for Symbolic Logic ; Cambridge University Press 2010 Availability: Items available for loan: Anna Centenary Library (1)Call number: 511.36 COO.

Find us on the map