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

On Axiomatizability Within a System. - William Craig (J. Symb. Log., 1953)

Eighteenth Meeting of the Association for Symbolic Logic. - William Craig (J. Symb. Log., 1955)

Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem. - William Craig (J. Symb. Log., 1957)

Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. - William Craig (J. Symb. Log., 1957)

Finite Axiomatizability Using Additional Predicates. - William Craig; Robert L. Vaught (J. Symb. Log., 1958)

Bases for First-Order Theories and Subtheories. - William Craig (J. Symb. Log., 1960)

Satisfaction for n-th Order Languages Defined in n-th Order Languages. - William Craig (J. Symb. Log., 1965)

A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality. - Hajnal Andréka; William Craig; István Németi (J. Symb. Log., 1988)

Near-Equational and Equational Systems of Logic for Partial Functions I. - William Craig (J. Symb. Log., 1989)

Near-Equational and Equational Systems of Logic for Partial Functions II. - William Craig (J. Symb. Log., 1989)

Elimination problems in logic: a brief history. - William Craig (Synth., 2008)

The road to two theorems of logic. - William Craig (Synth., 2008)

Peter van Inwagen, Substitutional Quantification, and Ontological Commitment. - William Craig (Notre Dame J. Formal Log., 2014)

Multimodal Deep Learning for Pediatric Mild Traumatic Brain Injury Detection. - Badhan Mazumder; Deepan Krishna Tripathy; Keith Owen Yeates; Miriam H. Beauchamp; William Craig; Quynh Doan; Stephen B. Freedman; Catherine Lebel; Roger Zemek; Ashley L. Ware; Dong Hye Ye (BHI, 2023)

On the Asymptotic Behavior for Partitions Separated by Parity. - Kathrin Bringmann; William Craig; Caner Nazaroglu (Electron. J. Comb., 2025)

Distribution of hooks in self-conjugate partitions. - William Craig; Ken Ono; Ajit Singh (Discret. Math., 2025)