Toward a Calculus of Concepts. - Willard Van Orman Quine (J. Symb. Log., 1936)

Set-Theoretic Foundations for Logic. - Willard Van Orman Quine (J. Symb. Log., 1936)

On Derivability. - Willard Van Orman Quine (J. Symb. Log., 1937)

On Cantor's Theorem. - Willard Van Orman Quine (J. Symb. Log., 1937)

Logic based on Inclusion and Abstraction. - Willard Van Orman Quine (J. Symb. Log., 1937)

Completeness of the Propositional Calculus. - Willard Van Orman Quine (J. Symb. Log., 1938)

On the Theory of Types. - Willard Van Orman Quine (J. Symb. Log., 1938)

Elimination of Extra-Logical Postulates. - Willard Van Orman Quine; Nelson Goodman (J. Symb. Log., 1940)

Element and Number. - Willard Van Orman Quine (J. Symb. Log., 1941)

On Existence Conditions for Elements and Classes. - Willard Van Orman Quine (J. Symb. Log., 1942)

On the Logic of Quantification. - Willard Van Orman Quine (J. Symb. Log., 1945)

On Ordered Pairs. - Willard Van Orman Quine (J. Symb. Log., 1945)

On Relations as Coextensive with Classes. - Willard Van Orman Quine (J. Symb. Log., 1946)

Concatenation as a Basis for Arithmetic. - Willard Van Orman Quine (J. Symb. Log., 1946)

Steps Toward a Constructive Nominalism. - Nelson Goodman; Willard Van Orman Quine (J. Symb. Log., 1947)

The Problem of Interpreting Modal Logic. - Willard Van Orman Quine (J. Symb. Log., 1947)

On Universals. - Willard Van Orman Quine (J. Symb. Log., 1947)

On Natural Deduction. - Willard Van Orman Quine (J. Symb. Log., 1950)

Some Theorems on Definability and Decidability. - Alonzo Church; Willard Van Orman Quine (J. Symb. Log., 1952)

On Reduction to a Symmetric Relation. - William Craig; Willard Van Orman Quine (J. Symb. Log., 1952)

On omega;-Inconsistency and a So-Called Axiom of Infinity. - Willard Van Orman Quine (J. Symb. Log., 1953)

Interpretations of Sets of Conditions. - Willard Van Orman Quine (J. Symb. Log., 1954)

Quantification and the Empty Domain. - Willard Van Orman Quine (J. Symb. Log., 1954)

Reduction to a Dyadic Predicate. - Willard Van Orman Quine (J. Symb. Log., 1954)

A Proof Procedure for Quantification Theory. - Willard Van Orman Quine (J. Symb. Log., 1955)

On Formulas with Valid Cases. - Willard Van Orman Quine (J. Symb. Log., 1956)

Unification of Universes in Set Theory. - Willard Van Orman Quine (J. Symb. Log., 1956)

Predicate Functors Revisited. - Willard Van Orman Quine (J. Symb. Log., 1981)

Promoting extensionality. - Willard Van Orman Quine (Synth., 1994)