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
Bulletin of Symbolic Logic 9 (1):71 (2003)
Abstract
This article has no associated abstract. (fix it)Author Profiles
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
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.
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.
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.
2000 european summer meeting of the association for symbolic logic logic colloquium 2000.Mosconi M.-H. Mourgues C. Muhlrad, L. Pacholski Grief & J. -P. Ressayre B. Velickovic - 2001 - Bulletin of Symbolic Logic 7 (4):82.
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-18
Downloads
11 (#846,528)
6 months
1 (#452,962)
2014-01-18
Downloads
11 (#846,528)
6 months
1 (#452,962)
Historical graph of downloads
