12 found
Order:
  1.  39
    Alfred Tarski's Work in Model Theory.Robert L. Vaught - 1986 - Journal of Symbolic Logic 51 (4):869-882.
  2.  27
    Axiomatizability by a Schema.Robert L. Vaught - 1967 - Journal of Symbolic Logic 32 (4):473-479.
  3.  3
    On a Theorem of Cobham Concerning Undecidable Theories.Robert L. Vaught, Ernest Nagel, Patrick Suppes & Alfred Tarski - 1969 - Journal of Symbolic Logic 34 (1):126-127.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  26
    Applications of the Lowenheim-Skolem-Tarski Theorem to Problems of Completeness and Decidability.Dana Scott & Robert L. Vaught - 1959 - Journal of Symbolic Logic 24 (1):58.
  5. Review: Abraham Robinson, Complete Theories. [REVIEW]Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.
  6.  4
    Łoś J.. On the Categoricity in Power of Elementary Deductive Systems and Some Related Problems. Colloquium Mathematicum, Vol. 3 No. 1 , Pp. 58–62. [REVIEW]Robert L. Vaught - 1958 - Journal of Symbolic Logic 23 (3):360-361.
  7.  7
    Robinson Abraham. Complete Theories. Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam 1956, VIII + 129 Pp. [REVIEW]Robert L. Vaught - 1960 - Journal of Symbolic Logic 25 (2):172-174.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  15
    Twenty-Eighth Annual Meeting of the Association for Symbolic Logic.Robert L. Vaught - 1962 - Journal of Symbolic Logic 27 (4):475-483.
  9.  6
    Robinson Abraham. L'application de la Logique Formelle aux Mathématiques. Applications Scientifiques de la Logique Mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, Pp. 51–63.Kurepa G., Kreisel G., Robinson A.. Discussion. Applications Scientifiques de la Logique Mathéatique, Actes du 2e Colloque International de Logique Mathématique, Paris−25-30 Août 1952, Institut Henri Poincaré, Collection de Logique Mathématique, Ser. A No. 5, Lithographed , Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, P. 64. [REVIEW]Robert L. Vaught - 1958 - Journal of Symbolic Logic 23 (2):218-219.
  10.  2
    Lightstone A. H. And Robinson A.. Syntactical Transforms. Transactions of the American Mathematical Society, Vol. 86 , Pp. 220–245. [REVIEW]Robert L. Vaught - 1959 - Journal of Symbolic Logic 24 (3):244-245.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  3
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Review: A. H. Lightstone, A. Robinson, Syntactical Transforms. [REVIEW]Robert L. Vaught - 1959 - Journal of Symbolic Logic 24 (3):244-245.