European summer meeting of the Association for Symbolic Logic, Manchester, England, 1984

, , , &
Journal of Symbolic Logic 51 (2):480-502 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s002248120003142x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,648

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

J. R. Shoenfield. Measurable cardinals. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 19–49. [REVIEW]Kenneth Kunen - 1975 - Journal of Symbolic Logic 40 (1):93-94.
G. Kreisel. Some reasons for generalizing recursion theory. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 139–198. [REVIEW]C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.
European Summer Meeting of the Association for Symbolic Logic, Paris, 1985.K. R. Apt - 1987 - Journal of Symbolic Logic 52 (1):295-349.
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,.
G. E. Hughes and M. J. Cresswell. A companion to modal logic. Methuen, London 1984 and New York 1985, xvii + 203 pp. [REVIEW]Johan van Benthem - 1986 - Journal of Symbolic Logic 51 (3):824-826.
Daniel Lacombe. Recursion theoretic structure for relational systems. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 3–17. [REVIEW]Carl E. Gordon - 1975 - Journal of Symbolic Logic 40 (3):454-455.
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.
C. E. M. Yates. A minimal pair of recursively enumerable degrees. The journal of symbolic logic, vol. 31 , pp. 159–168.Robert W. Robinson - 1972 - Journal of Symbolic Logic 37 (3):611.
European summer meeting of the Association for Symbolic Logic.László Csirmaz - 1993 - Journal of Symbolic Logic 58 (3):1098-1149.

Analytics

Added to PP
2009-01-28

Downloads
105 (#224,543)

6 months
19 (#213,298)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jerome Paris
New Jersey Institute of Technology

Citations of this work

No citations found.

Add more citations

References found in this work

Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.
On a Formalization of the Non-Definedness Notion.Albert Hoogewijs - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):213-217.
On a Formalization of the Non‐Definedness Notion.Albert Hoogewijs - 1979 - Mathematical Logic Quarterly 25 (13‐18):213-217.
Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.

Add more references