Logical Truth and Logical Implication. - William S. Hatcher (J. Symb. Log., 1966)

Foundations as a branch of mathematics. - William S. Hatcher (J. Philos. Log., 1972)

A logical framework for large file information handling. - G. Coray; William S. Hatcher (Inf. Sci., 1975)

Categorical languages for algebraic structures. - William S. Hatcher; A. Shafaat (Math. Log. Q., 1975)

A Language for Type-Free Algebra. - William S. Hatcher (Math. Log. Q., 1978)

Complexity Bounds on Proofs. - William S. Hatcher; Bernard R. Hodgson (J. Symb. Log., 1981)

On the Order Structure of the Hyperreal Line. - William S. Hatcher; Claude Laflamme (Math. Log. Q., 1983)

Lambda-Algebras and C-Monoids. - William S. Hatcher; Philip J. Scott (Math. Log. Q., 1986)

Pairings on Lambda Algebras. - William S. Hatcher; Marcel Tonga (Math. Log. Q., 1991)