( en | de | ru )

 

Disambiguation of "Goldfarb, Warren D."

Author of the publication

copydeleteadd this publication to your clipboard
Logical Writings of Jacques Herbrand

(Eds.) Harvard University Press, Cambridge, (June 1971)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hans Goldfarb

Daniel Warren

Warren Chan

Maria Warren

Hans Warren

 

Other publications of authors with the same name

Random Models and the Maslov Class.. J. Symb. Log., 54 (2): 460-466 (1989)The omega-Consistency of Number Theory Via Herbrand's Theorem., and . J. Symb. Log., 39 (4): 678-692 (1974)Logic in the Twenties: The Nature of the Quantifier.. J. Symb. Log., 44 (3): 351-368 (1979)The Decision Problem for Formulas with a Small Number of Atomic Subformulas., and . J. Symb. Log., 38 (3): 471-480 (1973)Random Models and Solvable Skolem Classes.. J. Symb. Log., 58 (3): 908-914 (1993)Skolem Reduction Classes., and . J. Symb. Log., 40 (1): 62-68 (1975)On Dummett's "Proof-Theoretic Justifications of Logical Laws".. Advances in Proof-Theoretic Semantics, volume 43 of Trends in Logic, Springer, (2016)Characters and Fixed Points in Provability Logic., and . Notre Dame J. Formal Log., 31 (1): 26-36 (1990)A Decidable Subclass of the Minimal Godel Class with Identity., , and . J. Symb. Log., 49 (4): 1253-1261 (1984)The Finite Controllability of the Maslov Case., and . J. Symb. Log., 39 (3): 509-518 (1974)