Review: Abraham Robinson, Introduction to Model Theory and the Metamathematics of Algebra [Book Review]

Journal of Symbolic Logic 29 (1):56-56 (1964)
  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,423

External links

  • This entry has no external links. Add one.
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: Abraham Robinson, On the Metamathematics of Algebra. [REVIEW]Leon Henkin - 1952 - Journal of Symbolic Logic 17 (3):205-207.
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 Application of Symbolic Logic to Algebra; Alfred Tarski, Some Notions and Methods on the Borderline of Algebra and Metamathematics. [REVIEW]H. E. Vaughan - 1953 - Journal of Symbolic Logic 18 (2):182-182.
The metamathematics of algebraic systems, collected papers: 1936-1967.A. I. Malʹt︠s︡ev - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by Benjamin Franklin Wells.
Review: P. M. Cohn, Universal Algebra. [REVIEW]Abraham Robinson - 1969 - Journal of Symbolic Logic 34 (1):113-114.
B. E. Meserve. Decision methods for elementary algebra. The American mathematical monthly, vol. 62 , pp. 1–8. [REVIEW]Abraham Robinson - 1957 - Journal of Symbolic Logic 22 (3):295-295.
Review: B. E. Meserve, Decision Methods for Elementary Algebra. [REVIEW]Abraham Robinson - 1957 - Journal of Symbolic Logic 22 (3):295-295.
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.
The model theory of modules of a C*-algebra.Camilo Argoty - 2013 - Archive for Mathematical Logic 52 (5-6):525-541.
Abraham Robinson's Meta‐Algebra Revisited.Alejandro Margarit & Luis M. Laita - 1987 - Mathematical Logic Quarterly 33 (6):497-505.
Review: Abraham Robinson, Relative Model-Completeness and the Elmination of Quantifiers. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):229-230.
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.
Recursion theory for metamathematics.Raymond Merrill Smullyan - 1993 - New York: Oxford University Press.

Analytics

Added to PP
2013-11-22

Downloads
2 (#1,790,546)

6 months
1 (#1,506,218)

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