Robert L. Vaught

According to our database, Robert L. Vaught authored at least 9 papers between 1958 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1997

On the Work of Andrzej Ehrenfeucht in Model Theory.

Robert L. Vaught

Proceedings of the Structures in Logic and Computer Science, 1997

1995

Set theory - an introduction (2. ed.).

Robert L. Vaught

Birkhäuser, ISBN: 978-0-8176-3697-5, 1995

1986

Alfred Tarski's Work in Model Theory.

Robert L. Vaught

J. Symb. Log., 1986

1983

Meeting of the Association for Symbolic Logic: San Francisco, 1981.

Jon Barwise, Robert L. Vaught, Yiannis N. Moschovakis

J. Symb. Log., 1983

1970

Meeting of the Association for Symbolic Logic.

James K. Feibleman, Raymond M. Smullyan, Robert L. Vaught

J. Symb. Log., 1970

1967

Axiomatizability by a Schema.

Robert L. Vaught

J. Symb. Log., 1967

1962

Twenty-Eighth Annual Meeting of the Association for Symbolic Logic.

Robert L. Vaught

J. Symb. Log., 1962

1960

Sentences True in All Constructive Models.

Robert L. Vaught

J. Symb. Log., 1960

1958

Finite Axiomatizability Using Additional Predicates.

William Craig, Robert L. Vaught

J. Symb. Log., 1958