Meeting of the Association for Symbolic Logic Florence, Italy 1982

, , , , &
Journal of Symbolic Logic 49 (2):683 - 710 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274211

Links

PhilArchive



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

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

Review: L. E. J. Brouwer, D. van Dalen, Brouwer's Cambridge Lectures on Intuitionism. [REVIEW]R. J. Grayson - 1983 - Journal of Symbolic Logic 48 (1):214-215.
Meeting of the association for symbolic logic: Madison 1982.H. Jerome Keisler - 1983 - Journal of Symbolic Logic 48 (4):1233-1239.
Review: Dag Prawitz, J. E. Fenstad, Ideas and Results in Proof Theory. [REVIEW]Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (2):232-234.
Review: G. E. Hughes, M. J. Cresswell, An Introduction to Modal Logic. [REVIEW]R. A. Bull - 1971 - Journal of Symbolic Logic 36 (2):328-328.
Review: G. E. Hughes, M. J. Cresswell, A Companion to Modal Logic. [REVIEW]Johan Van Benthem - 1986 - Journal of Symbolic Logic 51 (3):824-826.
Review: G. E. Hughes, M. J. Cresswell, An Introduction to Modal Logic. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (4):754-754.
Review: G. E. Hughes, M. J. Cresswell, A New Introduction to Modal Logic. [REVIEW]Michael Zakharyaschev - 1997 - Journal of Symbolic Logic 62 (4):1483-1484.
Review: Dirk van Dalen, Logic and Structure; Dirk van Dalen, Logic and Structure. [REVIEW]Melvin Fitting - 1986 - Journal of Symbolic Logic 51 (3):826-827.
Jens Erik Fenstad. The axiom of determinateness. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 41–61. [REVIEW]A. S. Kechris - 1974 - Journal of Symbolic Logic 39 (2):331-332.
Review: Yu. V. Matijasevic, J. E. Fenstad, Diophantine Representation of Recursively Enumerable Predicates. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):606-606.

Analytics

Added to PP
2009-01-28

Downloads
12 (#1,115,280)

6 months
16 (#172,419)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dirk Van Dalen
Utrecht University

Citations of this work

No citations found.

Add more citations

References found in this work

On a Formalization of the Non‐Definedness Notion.Albert Hoogewijs - 1979 - Mathematical Logic Quarterly 25 (13‐18):213-217.
On a Formalization of the Non-Definedness Notion.Albert Hoogewijs - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (13-18):213-217.
Groups of small Morley rank.Gregory Cherlin - 1979 - Annals of Mathematical Logic 17 (1):1.

View all 9 references / Add more references