dblp.uni-trier.dewww.uni-trier.de

Robert L. Vaught

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1K. Jon Barwise (Jon Barwise) [6]
2William Craig [1]
3James K. Feibleman [5]
4Yiannis N. Moschovakis [6]
5Raymond M. Smullyan [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)