Author

Warren D. Goldfarb

2 books found

Placeholder cover for On decision problems for quantification theory

On decision problems for quantification theory

Warren D. Goldfarb · First published 1975

Placeholder cover for Functional interpretations in elementary proof theory

Functional interpretations in elementary proof theory

Warren D. Goldfarb · First published 1969