Your search returned 3 results.

Results
	1.		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.		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.		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.

Refine your search