Review: Abraham Robinson, Some Problems of Definability in the Lower Predicate Calculus [Book Review]

Journal of Symbolic Logic 25 (2):171-171 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964238

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,758

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

Probability: A new logico-semantical approach. [REVIEW]Christina Schneider - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (1):107 - 124.
Review: K. L. de Bouvere, A Mathematical Characterization of Explicit Definability. [REVIEW]Abraham Robinson - 1971 - Journal of Symbolic Logic 36 (4):687-687.
Complete problems in the first-order predicate calculus.David A. Plaisted - 1979 - Urbana, Ill.: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
Ontología E historia Dei calculus.Pin Víctor Gómez - 1986 - Theoria 2 (1):97-119.
Review: Abraham Robinson, Les Rapports Entre le Calcul Deductif et l'Interpretation Semantique d'un Systeme Axiomatique; E. W. Beth, L. E. J. Brouwer, Abraham Robinson, Discussion. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):185-186.
Definability of classes of graphs in the first order predicate calculus with identity.L. Koncewicz - 1974 - Studia Logica 33 (1):159 - 190.
Definability of classes of graphs in the first order predicate calculus with identity.Leszek Koncewicz - 1973 - Studia Logica 32 (1):159 - 190.
Review: Julia Robinson, Definability and Decision Problems in Arithmetic. [REVIEW]Th Skolem - 1950 - Journal of Symbolic Logic 15 (1):68-69.
Note on Supervenience and Definability.Lloyd Humberstone - 1998 - Notre Dame Journal of Formal Logic 39 (2):243-252.
The Metaphysics of the Calculus.Abraham Robinson - 1967 - Studies in Logic and the Foundations of Mathematics 47:28--46.
New Semantics For The Lower Predicate Calculus.Gary Legenhausen - 1985 - Logique Et Analyse 28 (112):317-339.
Review: Abraham Robinson, Completeness and Persistence in the Theory of Models. [REVIEW]W. Peremans - 1960 - Journal of Symbolic Logic 25 (2):170-171.
Review: Abraham Robinson, Ordered Structures and Related Concepts. [REVIEW]W. Peremans - 1960 - Journal of Symbolic Logic 25 (2):170-170.
Review: Abraham Robinson, On Predicates in Algebraically Closed Fields. [REVIEW]W. Peremans - 1960 - Journal of Symbolic Logic 25 (2):169-170.

Analytics

Added to PP
2013-11-22

Downloads
16 (#928,967)

6 months
6 (#579,310)

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

No references found.

Add more references