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 [Book Review]

Journal of Symbolic Logic 20 (2):185-186 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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: A. Chatelet, Allocution d'ouverture; L. E. J. Brouwer, Discours final; Abraham Robinson, On Axiomatic Systems which Possess Finite Models. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):186-186.
Review: Abraham Robinson, L'Application de la Logique Formelle aux Mathematiques; G. Kurepa, G. Kreisel, A. Robinson, Discussion. [REVIEW]Robert L. Vaught - 1958 - Journal of Symbolic Logic 23 (2):218-219.
Review: E. W. Beth, Les Fondements Logiques des Mathematiques. [REVIEW]Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (3):269-269.
Review: Abraham Robinson, Proving a Theorem (as Done by Man, Logician, or Machine). [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):522-522.
Review: Abraham Robinson, W. A. J. Luxemburg, A. Robinson, Algebraic Function Fields and Non-Standard Arithmetic. [REVIEW]Diana L. Dubrovsky - 1974 - Journal of Symbolic Logic 39 (2):339-340.
Review: H. J. Keisler, A. Robinson, Selected Papers of Abraham Robinson.: Model Theory and Algebra. [REVIEW]John T. Baldwin - 1982 - Journal of Symbolic Logic 47 (1):197-203.
Review: Abraham Robinson, On the Metamathematics of Algebra. [REVIEW]Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):205-207.
Review: Leon Henkin, Mathematical Foundations for Mathematics. [REVIEW]Abraham Robinson - 1974 - Journal of Symbolic Logic 39 (2):333-333.
Review: Leon Henkin, G. Kreisel, Sums of Squares. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):128-129.
Review: Abraham Robinson, Note on a Problem of L. Henkin. [REVIEW]C. C. Chang - 1962 - Journal of Symbolic Logic 27 (1):96-96.
Review: Jean Cavilles, Methode Axiomatique et Formalisme. I. Le Probleme du Fondement des; Jean Cavailles, Methode Axiomatique et Formalisme: II Axiomatique et Systeme Formel; Jean Cavailles, Methode Axiomatique et Formalisme: III La Non-Contradiction de l'Arithmetique. [REVIEW]Evert Beth - 1939 - Journal of Symbolic Logic 4 (1):32-33.
Note on a problem of L. Henkin.Abraham Robinson - 1956 - Journal of Symbolic Logic 21 (1):33-35.
Review: A. Heyting, Espace de Hilbert et Intuitionnisme; Paul Bernays, H. Hermes, A. Heyting, Ingebrigt Johansson, Abraham Robinson, Discussion. [REVIEW]Sigekatu Kuroda - 1958 - Journal of Symbolic Logic 23 (2):228-229.
Review: J. H. Woodger, Formalization in Biology. [REVIEW]Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (1):89-89.

Analytics

Added to PP
2013-11-22

Downloads
14 (#934,671)

6 months
1 (#1,459,555)

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