Finite Axiomatizability Using Additional Predicates. - William Craig; Robert L. Vaught (J. Symb. Log., 1958)

Sentences True in All Constructive Models. - Robert L. Vaught (J. Symb. Log., 1960)

Twenty-Eighth Annual Meeting of the Association for Symbolic Logic. - Robert L. Vaught (J. Symb. Log., 1962)

Axiomatizability by a Schema. - Robert L. Vaught (J. Symb. Log., 1967)

Meeting of the Association for Symbolic Logic. - James K. Feibleman; Raymond M. Smullyan; Robert L. Vaught (J. Symb. Log., 1970)

Meeting of the Association for Symbolic Logic: San Francisco, 1981. - Jon Barwise; Robert L. Vaught; Yiannis N. Moschovakis (J. Symb. Log., 1983)

Alfred Tarski's Work in Model Theory. - Robert L. Vaught (J. Symb. Log., 1986)

Set theory - an introduction (2. ed.). - Robert L. Vaught (Birkhäuser, 1995)

On the Work of Andrzej Ehrenfeucht in Model Theory. - Robert L. Vaught (Structures in Logic and Computer Science, 1997)