The Decision Problem for Formulas with a Small Number of Atomic Subformulas. - Harry R. Lewis; Warren D. Goldfarb (J. Symb. Log., 1973)

The Finite Controllability of the Maslov Case. - Stål Aanderaa; Warren D. Goldfarb (J. Symb. Log., 1974)

Ordinal Bounds for k-Consistency. - Warren D. Goldfarb (J. Symb. Log., 1974)

The omega-Consistency of Number Theory Via Herbrand's Theorem. - Warren D. Goldfarb; T. M. Scanlon (J. Symb. Log., 1974)

Skolem Reduction Classes. - Warren D. Goldfarb; Harry R. Lewis (J. Symb. Log., 1975)

On the effective ω-rule. - Warren D. Goldfarb (Math. Log. Q., 1975)

Logic in the Twenties: The Nature of the Quantifier. - Warren D. Goldfarb (J. Symb. Log., 1979)

On the Godel Class with Identity. - Warren D. Goldfarb (J. Symb. Log., 1981)

The Undecidability of the Second-Order Unification Problem. - Warren D. Goldfarb (Theor. Comput. Sci., 1981)

The Unsolvability of the Godel Class with Identity. - Warren D. Goldfarb (J. Symb. Log., 1984)

A Decidable Subclass of the Minimal Godel Class with Identity. - Warren D. Goldfarb; Yuri Gurevich; Saharon Shelah (J. Symb. Log., 1984)

Random Models and the Maslov Class. - Warren D. Goldfarb (J. Symb. Log., 1989)

Characters and Fixed Points in Provability Logic. - Zachari Gleit; Warren D. Goldfarb (Notre Dame J. Formal Log., 1990)

Random Models and Solvable Skolem Classes. - Warren D. Goldfarb (J. Symb. Log., 1993)

First-Order Frege Theory is Undecidable. - Warren D. Goldfarb (J. Philos. Log., 2001)

On Gödel's way in: the influence of Rudolf Carnap. - Warren D. Goldfarb (Bull. Symb. Log., 2005)

On Dummett's "Proof-Theoretic Justifications of Logical Laws". - Warren D. Goldfarb (Advances in Proof-Theoretic Semantics, 2016)