Leon Henkin
About
Leon Henkin has authored 45 papers that have received a total of 446 indexed citations.
This includes 12 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 7 papers in Theoretical Computer Science. The topics of these papers are Advanced Algebra and Logic (9 papers), History and Theory of Mathematics (7 papers) and Logic, programming, and type systems (6 papers). Leon Henkin is often cited by papers focused on Advanced Algebra and Logic (9 papers), History and Theory of Mathematics (7 papers) and Logic, programming, and type systems (6 papers) and collaborates with scholars based in United States, The Netherlands and Hungary. Leon Henkin's co-authors include Alfred Tarski, J. Donald Monk, Carol A. Shively, Richard Montague and István Németi and has published in prestigious journals such as Science, Lecture notes in mathematics and Transactions of the American Mathematical Society
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Glenn L. Johnson are published in Top countries impacted by papers by Jiří Malíček Top countries impacted by papers by А. В. Кривандин Top countries impacted by papers by Raquel Alatorre‐Rosas Top authors papers by Sarah Hemington‐Gorse are co-authored with Top countries impacted by papers by Bernd Ludwig Top fields papers by Giuseppe Attanasi are about Top authors papers by Pratik Satya are co-authored with