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) |
1 | K. Jon Barwise (Jon Barwise) | [6] |
2 | William Craig | [1] |
3 | James K. Feibleman | [5] |
4 | Yiannis N. Moschovakis | [6] |
5 | Raymond M. Smullyan | [5] |