William Craig

	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)

Coauthor Index

1	Hajnal Andréka	[9]
2	István Németi	[9]
3	W. V. Quine (Willard Van Orman Quine)	[1]
4	Robert L. Vaught	[6]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page