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
Costas Dimitracopoulos (ed.)
Cambridge University Press (2008)
| Abstract | The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of recent developments. Highlights of this volume from the 2005 meeting include three papers on different aspects of connections between model theory and algebra; a survey of recent major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics | |||||||||
| Keywords | Logic, Symbolic and mathematical | |||||||||
| Categories | ||||||||||
| Buy the book | $103.00 direct from Amazon Amazon page | |||||||||
| Call number | QA9.A1.L64 2008 | |||||||||
| ISBN(s) | 9780521884259 052188425X | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesP. Aczel, J. B. Paris, A. J. Wilkie, G. M. Wilmers & C. E. M. Yates (1986). European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984. Journal of Symbolic Logic 51 (2):480-502.
H.-D. Ebbinghaus, J. Fernández-Prida, M. Garrido, D. Lascar & M. Rodriguez Artalejo (1989). European Summer Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 54 (2):647-672.
W. Obserschelp, B. Schinzel, W. Thomas & M. M. Richter (1985). European Summer Meeting of the Association for Symbolic Logic: Aachen, 1983. Journal of Symbolic Logic 50 (1):259-283.
F. R. Drake & S. S. Wainer (1981). European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979. Journal of Symbolic Logic 46 (2):435-446.
Viggo Stoltenberg-Hansen (2004). 2003 European Summer Meeting of the Association for Symbolic Logic Logic Colloquim '03, Helsinki, Finland, August 14-20, 2003. [REVIEW] Bulletin of Symbolic Logic 10 (2):234-280.
Walter Carnielli (1986). Seventh Latin American on Mathematical Logic- Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985. Journal of Symbolic Logic 51 (4):1093-1103.
F. Delon (ed.) (2010). Logic Colloquium 2007. Cambridge University Press.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,428 of 549,122 )Recent downloads (6 months)2 ( #37,390 of 549,122 )How can I increase my downloads? |
My notes
Discussion
