Robert L. Vaught

Publication Activity (10 Years)

Years Active: 1958-1997
Publications (10 Years): 0

Publications

Robert L. Vaught
On the Work of Andrzej Ehrenfeucht in Model Theory. Structures in Logic and Computer Science (1997)
Robert L. Vaught
Alfred Tarski's Work in Model Theory. J. Symb. Log. 51 (4) (1986)
Jon Barwise, Robert L. Vaught, Yiannis N. Moschovakis
Meeting of the Association for Symbolic Logic: San Francisco, 1981. J. Symb. Log. 48 (2) (1983)
James K. Feibleman, Raymond M. Smullyan, Robert L. Vaught
Meeting of the Association for Symbolic Logic. J. Symb. Log. 35 (2) (1970)
Robert L. Vaught
Axiomatizability by a Schema. J. Symb. Log. 32 (4) (1967)
Robert L. Vaught
Twenty-Eighth Annual Meeting of the Association for Symbolic Logic. J. Symb. Log. 27 (4) (1962)
Robert L. Vaught
Sentences True in All Constructive Models. J. Symb. Log. 25 (1) (1960)
William Craig, Robert L. Vaught
Finite Axiomatizability Using Additional Predicates. J. Symb. Log. 23 (3) (1958)