2000 european summer meeting of the association for symbolic logic logic colloquium 2000
Bulletin of Symbolic Logic 7 (4):82 (2001)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2687818
My notes
Similar books and articles
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.
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.
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.
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.
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.Symbolic Logic - 1995 - Bulletin of Symbolic Logic 1 (4):489-490.
Logic Colloquium '99: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Utrecht, Netherlands, August 1-6, 1999. [REVIEW]J. van Eijck, Vincent van Oostrom & Albert Visser (eds.) - 2004 - A K Peters.
2001 european summer meeting of the association for symbolic logic logic colloquium'01.Itay Neeman, Alexander Leitsch, Toshiyasu Arai, Steve Awodey, James Cummings, Rod Downey & Harvey Friedman - 2002 - Bulletin of Symbolic Logic 8 (1):111-180.
2002 european summer meeting of the association for symbolic logic logic colloquium'02.Lev D. Beklemishev, Stephen Cook, Olivier Lessmann, Simon Thomas, Jeremy Avigad, Arnold Beckmann, Tim Carlson, Robert L. Constable & Kosta Došen - 2003 - Bulletin of Symbolic Logic 9 (1):71.
Towards a logic 0f type-free modality and truth.Hannes Leitgeb - 2008 - In Costas Dimitracopoulos (ed.), 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. Cambridge University Press. pp. 28--68.
Analytics
Added to PP
2014-01-19
Downloads
15 (#700,242)
6 months
1 (#450,425)
2014-01-19
Downloads
15 (#700,242)
6 months
1 (#450,425)
Historical graph of downloads
