2006 Summer Meeting of the Association for Symbolic Logic Logic Colloquium '06: Nijmegen, The Netherlands July 27-August 2, 2006 [Book Review]

Bulletin of Symbolic Logic 13 (2):251-298 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1185803808

Links

PhilArchive



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

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 '99: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999.J. van Eijck, Vincent van Oostrom & Albert Visser (eds.) - 2004 - Wellesley, Mass.: A K Peters.
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.
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
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.
Nijmegen, The Netherlands July 27–August 2, 2006.Rodney Downey, Ieke Moerdijk, Boban Velickovic, Samson Abramsky, Marat Arslanov, Harvey Friedman, Martin Goldstern, Ehud Hrushovski, Jochen Koenigsmann & Andy Lewis - 2007 - Bulletin of Symbolic Logic 13 (2).
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.
2012 european summer meeting of the association for symbolic logic logic colloquium '12: Manchester, uk july 12–18, 2012. [REVIEW]Paola D'Aquino - 2014 - Bulletin of Symbolic Logic 20 (3):369-410,.
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.
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'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.
2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05.Stan S. Wainer - 2006 - Bulletin of Symbolic Logic 12 (2):310-361.
2009 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '09.[author unknown] - 2010 - Bulletin of Symbolic Logic 16 (1):90-142.
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.
2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07.Steffen Lempp - 2008 - Bulletin of Symbolic Logic 14 (1):123-159.

Analytics

Added to PP
2015-02-06

Downloads
8 (#1,309,940)

6 months
7 (#419,552)

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

Quantifiers vs. Quantification Theory.Jaakko Hintikka - 1973 - Dialectica 27 (3‐4):329-358.
Generic copies of countable structures.Chris Ash, Julia Knight, Mark Manasse & Theodore Slaman - 1989 - Annals of Pure and Applied Logic 42 (3):195-205.
Δ12-sets of reals.Jaime I. Ihoda & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 42 (3):207-223.
Notation systems for infinitary derivations.Wilfried Buchholz - 1991 - Archive for Mathematical Logic 30 (5-6):277-296.

View all 19 references / Add more references