William Craig Eighteenth Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1955, v:20, n:2, pp:200-206 [Journal]

William Craig Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:3, pp:250-268 [Journal]

William Craig Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:3, pp:269-285 [Journal]

William Craig Satisfaction for n-th Order Languages Defined in n-th Order Languages. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1965, v:30, n:1, pp:13-25 [Journal]

William Craig Near-Equational and Equational Systems of Logic for Partial Functions I. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1989, v:54, n:3, pp:795-827 [Journal]

William Craig Near-Equational and Equational Systems of Logic for Partial Functions II. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1989, v:54, n:4, pp:1181-1215 [Journal]