Models and computability: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

& (eds.)
New York: Cambridge University Press (1999)
  Copy   BIBTEX

Abstract

Together, Models and Computability and its sister volume Sets and Proofs will provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.

Categories

Keywords

Reprint years

Call number

QA9.A1.L64 1997

ISBN(s)

0521635500

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,676

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005.C. Dimitracopoulos, L. Newelski & D. Normann (eds.) - 2007 - Cambridge: Cambridge University Press.
Logic Colloquium '80: Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982 - North-Holland.
Logic Colloquium, 1988: Proceedings of the Colloquium, Padova, Italy, 22-31 August 1988.Ruggero Ferro - 1989 - North Holland.
Logic Colloquium 2007.Françoise Delon, Ulrich Kohlenbach, Penelope Maddy & Frank Stephan (eds.) - 2010 - New York: Cambridge University Press.
Logic Colloquium '87: Proceedings of the Colloquium Held in Granada, Spain, July 20-25, 1987.Heinz-Dieter Ebbinghaus - 1989 - Elsevier.
Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004.Alessandro Andretta, Keith Kearnes & Domenico Zambella - 2007 - Cambridge: Cambridge University Press.
Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997 : Proceedings'.G. Gottlob, Alexander Leitsch, Daniele Mundici & Kurt Gödel Society - 1997 - Springer Verlag.
Logic Colloquium '99: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999.J. van Eijck, Vincent van Oostrom & Albert Visser (eds.) - 2004 - Wellesley, Mass.: A K Peters.
European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium'93: Keele, England, July 20–29, 1993.Wilfrid Hodges - 1995 - Bulletin of Symbolic Logic 1 (1):85-115.

Analytics

Added to PP
2009-01-28

Downloads
35 (#642,196)

6 months
4 (#1,244,521)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references