 | 2008 |
|---|
| 13 |       | William Craig:
Elimination problems in logic: a brief history.
Synthese 164(3): 321-332 (2008) |
| 12 | | William Craig:
The road to two theorems of logic.
Synthese 164(3): 333-339 (2008) |
| 1989 |
|---|
| 11 |  | William Craig:
Near-Equational and Equational Systems of Logic for Partial Functions I.
J. Symb. Log. 54(3): 795-827 (1989) |
| 10 | | William Craig:
Near-Equational and Equational Systems of Logic for Partial Functions II.
J. Symb. Log. 54(4): 1181-1215 (1989) |
| 1988 |
|---|
| 9 | | Hajnal Andréka,
William Craig,
István Németi:
A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality.
J. Symb. Log. 53(3): 834-839 (1988) |
| 1965 |
|---|
| 8 | | William Craig:
Satisfaction for n-th Order Languages Defined in n-th Order Languages.
J. Symb. Log. 30(1): 13-25 (1965) |
| 1960 |
|---|
| 7 | | William Craig:
Bases for First-Order Theories and Subtheories.
J. Symb. Log. 25(2): 97-142 (1960) |
| 1958 |
|---|
| 6 | | William Craig,
Robert L. Vaught:
Finite Axiomatizability Using Additional Predicates.
J. Symb. Log. 23(3): 289-308 (1958) |
| 1957 |
|---|
| 5 | | William Craig:
Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem.
J. Symb. Log. 22(3): 250-268 (1957) |
| 4 | | William Craig:
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory.
J. Symb. Log. 22(3): 269-285 (1957) |
| 1955 |
|---|
| 3 | | William Craig:
Eighteenth Meeting of the Association for Symbolic Logic.
J. Symb. Log. 20(2): 200-206 (1955) |
| 1953 |
|---|
| 2 | | William Craig:
On Axiomatizability Within a System.
J. Symb. Log. 18(1): 30-32 (1953) |
| 1952 |
|---|
| 1 | | William Craig,
W. V. Quine:
On Reduction to a Symmetric Relation.
J. Symb. Log. 17(3): 188 (1952) |
