Statistics
Publications
4
Citations
513
H-Index
4
Active since
1955
Affiliations
The Ohio State University(Current)
Clifford Spector is an author at The Ohio State University specializing in proof complexity, engineering, and automated reasoning.
Publications per year
1955–1962
4
4
Clifford Spector · Journal of Symbolic Logic · 1955 · 209 citations
On Degrees of Recursive Unsolvability
Clifford Spector · Annals of Mathematics · 1956 · 198 citations
Incompleteness along paths in progressions of theories
Solomon Feferman, Clifford Spector · Journal of Symbolic Logic · 1962 · 73 citations
Formal Logic, Basic Logic, Syntax +15
1–4 of 4