Meeting of the Association for Symbolic Logic, Karpacz, Poland, 1979

&
Journal of Symbolic Logic 46 (3):690-702 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273779

Links

PhilArchive



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

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

Annual meeting of the association for symbolic logic: Karpacz, Poland 1979.Leszek Pacholski & Jedrzej Wierzejewski - 1981 - Journal of Symbolic Logic 46 (3):690-702.
Model Theory of Algebra and Arithmetic: Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz,Poland, September 1-7, 1979.L. Pacholski, Jędrzej Wierzejewski, J. Wierzejewski & A. J. Wilkie - 1980 - Lecture Notes in Mathematics.
Meeting of the association for symbolic logic: Melbourne, australia 1979.John N. Crossley & Lloyd Humberstone - 1981 - Journal of Symbolic Logic 46 (2):424-426.
Meeting of the association for symbolic logic: New York 1979.George Boolos, Sy Friedman & Harold Hodes - 1981 - Journal of Symbolic Logic 46 (2):427-434.
Meeting of the association for symbolic logic: Hamilton, new zealand, 1979.W. G. Malcolm & M. J. Cresswell - 1981 - Journal of Symbolic Logic 46 (1):204-206.
European summer meeting of the association for symbolic logic: Leeds, 1979.F. R. Drake & S. S. Wainer - 1981 - Journal of Symbolic Logic 46 (2):435-446.
Meeting of the association for symbolic logic: Biloxi, 1979.Daniel Halpern, William Tait & John T. Baldwin - 1981 - Journal of Symbolic Logic 46 (1):191-198.
Meeting of the association for symbolic logic: San Diego, 1979.Alfred B. Manaster, Thomas H. Payne & David Harrah - 1981 - Journal of Symbolic Logic 46 (1):199-203.
European meeting of the Association for Symbolic Logic, Wroclaw 1977.Leszek Pacholski - 1979 - Journal of Symbolic Logic 44 (3):441-468.
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings.Jerzy Marcinkowski, Andrzej Tarlecki & European Association for Computer Science Logic - 2004 - Springer Verlag.
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
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.
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.
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.
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.

Analytics

Added to PP
2016-06-30

Downloads
19 (#732,197)

6 months
6 (#349,140)

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

Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.
Entscheidbarkeit Der Theorie Der Linearen Ordnung In LQ1.H. Herre & H. Wolter - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (18):273-282.
Entscheidbarkeit der Theorie der Linearen Ordnung inLQx für Reguläres ωx.H. Herre & H. Wolter - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):73-78.

Add more references