Statistics
Publications
29
Citations
2.4K
H-Index
18
Active since
1953
William Craig is an author at Pennsylvania State University specializing in humanities, mathematics, and computer science.
Publications per year
1953–2023
29
29
Linear reasoning. A new form of the Herbrand-Gentzen theorem
William Craig · Journal of Symbolic Logic · 1957 · 457 citations
On axiomatizability within a system
William Craig · Journal of Symbolic Logic · 1953 · 311 citations
Charles Parsons, Haskell B. Curry, Robert Feys et al. · The Philosophical Review · 1959 · 161 citations
Finite Axiomatizability using additional predicates
William Craig, Robert L. Vaught · Journal of Symbolic Logic · 1958 · 139 citations
1–5 of 29