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 authors papers by Martijn Scherrenberg are co-authored with Top countries impacted by papers by Huiming Liu Top authors papers by Jianmin Huang are co-authored with Top fields papers by Yi Peng Teoh are about Top authors papers by Ji Yoon Kim are co-authored with Top journals papers by Nile M. Khanfar are published in Top countries impacted by papers by Andrus Salupere Top countries impacted by papers by E. Rodríguez