Logic Colloquium 2007

, , & (eds.)
New York: Cambridge University Press (2010)
  Copy   BIBTEX

Abstract

The 2007 proceedings from the Annual European Meeting of the Association for Symbolic Logic.

Categories

Keywords

Reprint years

Call number

QA9.A1.L64 2007

ISBN(s)

9780521760652   0521760658   9781139488938   1139488937   1107696771

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

Chapters

Cardinal structure under ad.Steve Jackson
Decorated linear order types and the theory of concatenation.Alasdair Urquhart & Albert Visser
Proof theory and meaning: The context of deducibility.Greg Restall

Similar books and articles

Proceedings of the Sixteenth Amsterdam Colloquium.Maria Aloni & Paul Dekker - unknown
Cardinal structure under ad.Steve Jackson - 2010 - In F. Delon (ed.), Logic Colloquium 2007. Cambridge University Press. pp. 92.
2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07.Steffen Lempp - 2008 - Bulletin of Symbolic Logic 14 (1):123-159.
Logic Colloquium: Symposium on Logic Held at Boston, 1972-73.Rohit Parikh (ed.) - 1975 - New York, NY, USA: Springer.
Proof theory and meaning: The context of deducibility.Greg Restall - 2010 - In F. Delon, U. Kohlenbach, P. Maddy & F. Stephan (eds.), Logic Colloquium 2007. Cambridge: Cambridge University Press. pp. 204-219.
Logic Colloquium, 1985: Proceedings of the Colloquium, Orsay, France, July 1985.Equipe de Logique Mathématique & Paris Logic Group - 1987 - North Holland.
Logic Colloquium '73: Proceedings of the Logic Colloquium, Bristol, July 1973.H. E. Rose, J. C. Shepherdson & Association for Symbolic Logic - 1975 - North-Holland.
Decorated linear order types and the theory of concatenation.Alasdair Urquhart & Albert Visser - 2010 - In F. Delon (ed.), Logic Colloquium 2007. Cambridge University Press. pp. 1.
Logic Colloquium, 1988: Proceedings of the Colloquium, Padova, Italy, 22-31 August 1988.Ruggero Ferro - 1989 - North Holland.
Logic Colloquium '77, Proceedings of the Colloquium held in WrocŁaw, August 1977. [REVIEW]Thomas Jech - 2001 - Bulletin of Symbolic Logic 7 (1):79-79.
Logic Colloquium '87: Proceedings of the Colloquium Held in Granada, Spain, July 20-25, 1987.Heinz-Dieter Ebbinghaus - 1989 - Elsevier.
Logic Colloquium ’96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996.Jesus M. Larrazabal, Daniel Lascar & Grigori Mints - 1998 - Springer.
Proceedings of the Colloquium: Held in Florence, 23-28 Aug., 1982. 1982.Gabriele Lolli, Giuseppe Longo & Annalisa Marcja - 1984 - North Holland.
Logic Colloquium '84: Proceedings of the Colloquium Held in Manchester, U.K., July 1984.J. B. Paris, Alec J. Wilkie & G. M. Wilmers (eds.) - 1986 - Amsterdam, Netherlands: North Holland.
Sets, Models and Recursion Theory Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965.John N. Crossley & Logic Colloquium - 1967 - North-Holland.

Analytics

Added to PP
2011-10-26

Downloads
12 (#1,058,801)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Penelope J. Maddy
University of California, Irvine

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references