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

Other Versions

original (1993) "European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '91". Journal of Symbolic Logic 58(2):729-766
edition Hodges, Wilfrid (1995) "European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '93". Bulletin of Symbolic Logic 1(4):489-490
edition Logic, Symbolic (1995) "European summer meeting of the association for symbolic logic logic colloquium'93". Bulletin of Symbolic Logic 1(4):489-490
edition Wood, Carol (2001) "2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000". Bulletin of Symbolic Logic 7(1):82-163
edition Muhlrad, Mosconi M.-H. Mourgues C.; Grief, L. Pacholski; Velickovic, J. -P. Ressayre B. (2001) "2000 european summer meeting of the association for symbolic logic logic colloquium 2000". Bulletin of Symbolic Logic 7(4):82
edition Neeman, Itay; Leitsch, Alexander; Arai, Toshiyasu; Awodey, Steve; Cummings, James; Downey, Rod; Friedman, Harvey (2002) "2001 european summer meeting of the association for symbolic logic logic colloquium'01". Bulletin of Symbolic Logic 8(1):111-180
edition Beklemishev, Lev D.; Cook, Stephen; Lessmann, Olivier; Thomas, Simon; Avigad, Jeremy; Beckmann, Arnold; Carlson, Tim; Constable, Robert L.; Došen, Kosta (2003) "2002 european summer meeting of the association for symbolic logic logic colloquium'02". Bulletin of Symbolic Logic 9(1):71
edition Benedikt, Michael; Todorcevic, Stevo; Baltag, Alexandru; Becker, Howard; Foreman, Matthew; Girard, Jean-Yves; Grohe, Martin; Johnstone, Peter T.; Knuuttila, Simo; Kojman, Menachem (2004) "2003 european summer meeting of the association for symbolic logic logic colloquim'03". Bulletin of Symbolic Logic 10(2):
edition Paris, Stevo Todorcevic; Oxford, Alexandru Baltag; Irvine, Matthew Foreman; Marseille, Jean-Yves Girard; Berlin, Martin Grohe; Cambridge, Peter T. Johnstone (2004) "2003 european summer meeting of the association for symbolic logic logic colloquim'03". Bulletin of Symbolic Logic 10(2):234
edition Wainer, Stan S. (2006) "2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05". Bulletin of Symbolic Logic 12(2):310-361
edition Lempp, Steffen (2008) "2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07". Bulletin of Symbolic Logic 14(1):123-159
edition (2010) "2009 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '09". Bulletin of Symbolic Logic 16(1):90-142
edition Abraham, Uri; Slaman, Ted (2011) "2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10". Bulletin of Symbolic Logic 17(2):272-329
edition Ambos-Spies, Klaus (2012) "2011 european summer meeting of the association for symbolic logic, logic colloquium '11". Bulletin of Symbolic Logic 18(3):418-476

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

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

Analytics

Added to PP
2015-02-04

Downloads
22 (#979,903)

6 months
5 (#1,062,008)

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.
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
An Axiomatic Approach to Self-Referential Truth.Harvey Friedman & Michael Sheard - 1987 - Annals of Pure and Applied Logic 33 (1):1--21.

View all 29 references / Add more references