2004 Summer Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic 11 (2):249-312 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600003383

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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

Wolfram Pohlers. Pure proof theory. Aims, methods and results. The bulletin of symbolic logic, vol. 2 , pp. 159–188.G. Mints - 1998 - Journal of Symbolic Logic 63 (3):1185.
European Summer Meeting of the Association for Symbolic Logic.[author unknown] - 1995 - Bulletin of Symbolic Logic 1 (1):85-115.
European summer meeting of the association for symbolic logic.Chris Johnson, John Stell & Alan Treherne - 1995 - Bulletin of Symbolic Logic 1 (1).
1999 european summer meeting of the association for symbolic logic.Maarten de Rijke Pauly, Frans Snijders & Yde Venema - 2000 - Bulletin of Symbolic Logic 6 (1):103-137.
1996 European Summer Meeting of the Association for Symbolic Logic.G. Mints, M. Otero, S. Ronchi Della Rocca & K. Segerberg - 1997 - Bulletin of Symbolic Logic 3 (2):242-277.
1996 European Summer Meeting of the Association for Symbolic Logic.Daniel Lascar - 1997 - Bulletin of Symbolic Logic 3 (2):242-277.
1998 European Summer Meeting of the Association for Symbolic Logic.S. Buss - 1999 - Bulletin of Symbolic Logic 5 (1):59-153.
1997 European Summer Meeting of the Association for Symbolic Logic.M. Hyland Hodges, A. H. Lachlan, A. Louveau, Y. N. Moschovakis, L. Pacholski, A. B. Slomson, J. K. Truss & S. S. Wainer - 1998 - Bulletin of Symbolic Logic 4 (1):55-117.
1999 European Summer Meeting of the Association for Symbolic Logic.Wilfrid Hodges - 2000 - Bulletin of Symbolic Logic 6 (1):103-137.
1997 European Summer Meeting of the Association for Symbolic Logic.S. B. Cooper - 1998 - Bulletin of Symbolic Logic 4 (1):55-117.

Analytics

Added to PP
2014-03-20

Downloads
21 (#727,311)

6 months
3 (#1,206,449)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wolfram Pohlers
University of Muenster

Citations of this work

No citations found.

Add more citations

References found in this work

Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Model theory of modules.Martin Ziegler - 1984 - Annals of Pure and Applied Logic 26 (2):149-213.

View all 39 references / Add more references