dblp.uni-trier.dewww.uni-trier.de

William Craig

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
13EEWilliam Craig: Elimination problems in logic: a brief history. Synthese 164(3): 321-332 (2008)
12EEWilliam 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)