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 Moussa Moïse Diagne are published in Top authors papers by Jiyoon Kim are co-authored with Top journals papers by D. Robbes are published in Top authors papers by A. I. Egorov are co-authored with Top authors papers by Hiroharu Matsueda are co-authored with Top authors papers by Sarah Hemington‐Gorse are co-authored with Top fields papers by Francisco Rossomando are about Top countries impacted by papers by Ling‐Yan Chen