← Back to directory
J. C. C. McKinsey
Researcher Next ID · RN-000596
Professor · Computer Science
Tübingen, Germany
Not currently recruitingFunding unknown
- Works count
- 151
- Citation count
- 7,827
- H-index
- 22
- i10-index
- 31
About
151 publications and 7,828 citations recorded on OpenAlex.
Research interests
Computer Science
Advanced Algebra and Logic
Logic, Reasoning, and Knowledge
Philosophy and History of Science
Computability, Logic, AI Algorithms
History and Theory of Mathematics
Publications
A Decision Method for Elementary Algebra and Geometry
Journal · 1951 · 10.1525/9780520348097
The Mathematical Analysis of Logic.
American Mathematical Monthly · 1950 · 10.2307/2306226
Elements of Symbolic Logic.
American Mathematical Monthly · 1948 · 10.2307/2305604
Some theorems about the sentential calculi of Lewis and Heyting
Journal of Symbolic Logic · 1948 · 10.2307/2268135
The Algebra of Topology
Annals of Mathematics · 1944 · 10.2307/1969080
Current projects
No projects listed.