2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08

Bulletin of Symbolic Logic 15 (1):95-139 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1231081772

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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 '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995.Johann A. Makowsky, Elena V. Ravve & Association of Symbolic Logic - 1998
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 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.
Errata.C. Parsons Kanamori, A. Razborov, H. Schwichtenberg, J. Steel, S. Todorcevic, A. Wilkie, R. Cori, M. Dickmann, J. Dubucs & J. B. Joinet - 2001 - Bulletin of Symbolic Logic 7 (4):602-602.
2011 european summer meeting of the association for symbolic logic, logic colloquium '11.Klaus Ambos-Spies - 2012 - Bulletin of Symbolic Logic 18 (3):418-476.
European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium'88), Padova, 1988.R. Ferro - 1990 - Journal of Symbolic Logic 55 (1):387-435.
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.
2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10.Uri Abraham & Ted Slaman - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.
L. Beklemishev. Another pathological well-ordering. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 105–108. [REVIEW]G. Mints - 2001 - Bulletin of Symbolic Logic 7 (4):534-534.
1999 european summer meeting of the association for symbolic logic logic colloquium'99.Maarten de Rijke Pauly, Frans Snijders & Yde Venema - 2000 - Bulletin of Symbolic Logic 6 (1):103.
European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '93.Wilfrid Hodges - 1995 - Bulletin of Symbolic Logic 1 (4):489-490.
Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
2009 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '09.[author unknown] - 2010 - Bulletin of Symbolic Logic 16 (1):90-142.
2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07.Steffen Lempp - 2008 - Bulletin of Symbolic Logic 14 (1):123-159.
European summer meeting of the association for symbolic logic logic colloquium'93.Symbolic Logic - 1995 - Bulletin of Symbolic Logic 1 (4):489-490.

Analytics

Added to PP
2015-02-04

Downloads
16 (#883,649)

6 months
4 (#790,687)

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

What are logical notions?Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.

View all 31 references / Add more references