Leon Henkin (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Leon Henkin" in English language version.

refsWebsite

Global rank English rank

19doi.org

2^nd place

12worldcat.org

5^th place

6cambridge.org

305^th place

264^th place

6jstor.org

26^th place

20^th place

5springer.com

274^th place

309^th place

4semanticscholar.org

11^th place

8^th place

2claremont.edu

low place

7,999^th place

1oup.com

485^th place

440^th place

1science.org

1,160^th place

737^th place

1ams.org

451^st place

277^th place

1tandfonline.com

507^th place

429^th place

1handle.net

102^nd place

76^th place

1maa.org

3,479^th place

2,444^th place

ams.org

Henkin, Leon (1953). "Some interconnections between modern algebra and mathematical logic". Transactions of the American Mathematical Society. 74 (3): 410–427. doi:10.1090/S0002-9947-1953-0055287-X. ISSN 0002-9947.

cambridge.org

Henkin, Leon (June 1996). "The Discovery of My Completeness Proofs". Bulletin of Symbolic Logic. 2 (2): 127–158. doi:10.2307/421107. ISSN 1079-8986.
Quine, W. V. (March 1938). "Completeness of the propositional calculus". Journal of Symbolic Logic. 3 (1): 37–40. doi:10.2307/2267505. ISSN 0022-4812.
Henkin, Leon (June 1950). "Completeness in the theory of types". Journal of Symbolic Logic. 15 (2): 81–91. doi:10.2307/2266967. ISSN 0022-4812.
Henkin, Leon (1950). "Completeness in the theory of types". Journal of Symbolic Logic. 15 (2): 81–91. doi:10.2307/2266967. ISSN 0022-4812. JSTOR 2266967. S2CID 36309665.
Henkin, Leon (1953). "Banishing the rule of substitution for functional variables". Journal of Symbolic Logic. 18 (3): 201–208. doi:10.2307/2267403. ISSN 0022-4812. JSTOR 2267403. S2CID 35612072.
Henkin, Leon (1953). "Some notes on nominalism". Journal of Symbolic Logic. 18 (1): 19–29. doi:10.2307/2266323. ISSN 0022-4812. JSTOR 2266323. S2CID 30875647.

claremont.edu

scholarship.claremont.edu

Mancosu, Paolo (January 2018). "The Origin of the Group in Logic and the Methodology of Science". Journal of Humanistic Mathematics. 8 (1): 371–413. doi:10.5642/jhummath.201801.19.
Mancosu, Paolo (2018-01-31). "The Origin of the Group in Logic and the Methodology of Science". Journal of Humanistic Mathematics. 8 (1): 371–413. doi:10.5642/jhummath.201801.19. ISSN 2159-8118.

doi.org

Wells, Benjamin (2014). Manzano, María; Sain, Ildikó; Alonso, Enrique (eds.). The Life and Work of Leon Henkin. Cham: Springer International Publishing. pp. 41–55. doi:10.1007/978-3-319-09719-0_6. ISBN 978-3-319-09718-3.
Manzano, María; Alonso, Enrique (2014). Manzano, María; Sain, Ildikó; Alonso, Enrique (eds.). The Life and Work of Leon Henkin. Cham: Springer International Publishing. pp. 3–22. doi:10.1007/978-3-319-09719-0_1. ISBN 978-3-319-09718-3.
Feferman, Solomon; Dawson, John W; Kleene, Stephen C; Moore, Gregory H; Solovay, Robert M; Heijenoort, Jean van (2001-05-31). Feferman, Solomon; Dawson, John W; Kleene, Stephen C; Moore, Gregory H; Heijenoort, Jean van (eds.). Kurt GöDel Collected Works Volume I. Oxford University PressNew York, NY. pp. 61–101. doi:10.1093/oso/9780195147209.003.0005. ISBN 978-0-19-514720-9.
Monk, J. Donald (2014). Manzano, María; Sain, Ildikó; Alonso, Enrique (eds.). The Life and Work of Leon Henkin. Cham: Springer International Publishing. pp. 59–66. doi:10.1007/978-3-319-09719-0_7. ISBN 978-3-319-09718-3.
Manzano, María (2014). Manzano, María; Sain, Ildikó; Alonso, Enrique (eds.). The Life and Work of Leon Henkin. Cham: Springer International Publishing. pp. 149–175. doi:10.1007/978-3-319-09719-0_12. ISBN 978-3-319-09718-3.
Henkin, Leon (June 1996). "The Discovery of My Completeness Proofs". Bulletin of Symbolic Logic. 2 (2): 127–158. doi:10.2307/421107. ISSN 1079-8986.
Henkin, Leon (1962-11-16). "Are Logic and Mathematics Identical?: An old thesis of Russell's is reexamined in the light of subsequent developments in mathematical logic". Science. 138 (3542): 788–794. doi:10.1126/science.138.3542.788. ISSN 0036-8075.
Quine, W. V. (March 1938). "Completeness of the propositional calculus". Journal of Symbolic Logic. 3 (1): 37–40. doi:10.2307/2267505. ISSN 0022-4812.
Leon Henkin (Sep 1949). "The completeness of the first-order functional calculus". The Journal of Symbolic Logic. 14 (3): 159–166. doi:10.2307/2267044. JSTOR 2267044. S2CID 28935946.
Henkin, Leon (June 1950). "Completeness in the theory of types". Journal of Symbolic Logic. 15 (2): 81–91. doi:10.2307/2266967. ISSN 0022-4812.
Henkin, Leon (1953). "Some interconnections between modern algebra and mathematical logic". Transactions of the American Mathematical Society. 74 (3): 410–427. doi:10.1090/S0002-9947-1953-0055287-X. ISSN 0002-9947.
Mancosu, Paolo (January 2018). "The Origin of the Group in Logic and the Methodology of Science". Journal of Humanistic Mathematics. 8 (1): 371–413. doi:10.5642/jhummath.201801.19.
Dawson, John W. (January 1993). "The compactness of first-order logic:from gödel to lindström". History and Philosophy of Logic. 14 (1): 15–37. doi:10.1080/01445349308837208. ISSN 0144-5340.
Areces, Carlos; Blackburn, Patrick; Huertas, Antonia; Manzano, María (June 2014). "Completeness in Hybrid Type Theory". Journal of Philosophical Logic. 43 (2–3): 209–238. doi:10.1007/s10992-012-9260-4. hdl:11086/20021. ISSN 0022-3611.
Henkin, Leon (1950). "Completeness in the theory of types". Journal of Symbolic Logic. 15 (2): 81–91. doi:10.2307/2266967. ISSN 0022-4812. JSTOR 2266967. S2CID 36309665.
Henkin, Leon (1953). "Banishing the rule of substitution for functional variables". Journal of Symbolic Logic. 18 (3): 201–208. doi:10.2307/2267403. ISSN 0022-4812. JSTOR 2267403. S2CID 35612072.
Henkin, Leon (1960). "On Mathematical Induction". The American Mathematical Monthly. 67 (4): 323–338. doi:10.2307/2308975. JSTOR 2308975.
Henkin, Leon (1953). "Some notes on nominalism". Journal of Symbolic Logic. 18 (1): 19–29. doi:10.2307/2266323. ISSN 0022-4812. JSTOR 2266323. S2CID 30875647.
Mancosu, Paolo (2018-01-31). "The Origin of the Group in Logic and the Methodology of Science". Journal of Humanistic Mathematics. 8 (1): 371–413. doi:10.5642/jhummath.201801.19. ISSN 2159-8118.

handle.net

hdl.handle.net

Areces, Carlos; Blackburn, Patrick; Huertas, Antonia; Manzano, María (June 2014). "Completeness in Hybrid Type Theory". Journal of Philosophical Logic. 43 (2–3): 209–238. doi:10.1007/s10992-012-9260-4. hdl:11086/20021. ISSN 0022-3611.

jstor.org

Leon Henkin (Sep 1949). "The completeness of the first-order functional calculus". The Journal of Symbolic Logic. 14 (3): 159–166. doi:10.2307/2267044. JSTOR 2267044. S2CID 28935946.
Henkin, Leon (1950). "Completeness in the theory of types". Journal of Symbolic Logic. 15 (2): 81–91. doi:10.2307/2266967. ISSN 0022-4812. JSTOR 2266967. S2CID 36309665.
Henkin, Leon (1953). "Banishing the rule of substitution for functional variables". Journal of Symbolic Logic. 18 (3): 201–208. doi:10.2307/2267403. ISSN 0022-4812. JSTOR 2267403. S2CID 35612072.
Henkin, Leon (1960). "On Mathematical Induction". The American Mathematical Monthly. 67 (4): 323–338. doi:10.2307/2308975. JSTOR 2308975.
Henkin, Leon (1953). "Some notes on nominalism". Journal of Symbolic Logic. 18 (1): 19–29. doi:10.2307/2266323. ISSN 0022-4812. JSTOR 2266323. S2CID 30875647.
"Award of the 1964 Chauvenet Prize to Professor Leon A. Henkin". The American Mathematical Monthly. 71 (1): 3. 1964. ISSN 0002-9890.[

maa.org

"Yueh-Gin Gung and Dr. Charles Y. Hu Award for Distinguished Service | Mathematical Association of America". Maa.org. Retrieved 2016-10-25.

oup.com

academic.oup.com

Feferman, Solomon; Dawson, John W; Kleene, Stephen C; Moore, Gregory H; Solovay, Robert M; Heijenoort, Jean van (2001-05-31). Feferman, Solomon; Dawson, John W; Kleene, Stephen C; Moore, Gregory H; Heijenoort, Jean van (eds.). Kurt GöDel Collected Works Volume I. Oxford University PressNew York, NY. pp. 61–101. doi:10.1093/oso/9780195147209.003.0005. ISBN 978-0-19-514720-9.

science.org

Henkin, Leon (1962-11-16). "Are Logic and Mathematics Identical?: An old thesis of Russell's is reexamined in the light of subsequent developments in mathematical logic". Science. 138 (3542): 788–794. doi:10.1126/science.138.3542.788. ISSN 0036-8075.

semanticscholar.org

api.semanticscholar.org

Leon Henkin (Sep 1949). "The completeness of the first-order functional calculus". The Journal of Symbolic Logic. 14 (3): 159–166. doi:10.2307/2267044. JSTOR 2267044. S2CID 28935946.
Henkin, Leon (1950). "Completeness in the theory of types". Journal of Symbolic Logic. 15 (2): 81–91. doi:10.2307/2266967. ISSN 0022-4812. JSTOR 2266967. S2CID 36309665.
Henkin, Leon (1953). "Banishing the rule of substitution for functional variables". Journal of Symbolic Logic. 18 (3): 201–208. doi:10.2307/2267403. ISSN 0022-4812. JSTOR 2267403. S2CID 35612072.
Henkin, Leon (1953). "Some notes on nominalism". Journal of Symbolic Logic. 18 (1): 19–29. doi:10.2307/2266323. ISSN 0022-4812. JSTOR 2266323. S2CID 30875647.

springer.com

link.springer.com

Wells, Benjamin (2014). Manzano, María; Sain, Ildikó; Alonso, Enrique (eds.). The Life and Work of Leon Henkin. Cham: Springer International Publishing. pp. 41–55. doi:10.1007/978-3-319-09719-0_6. ISBN 978-3-319-09718-3.
Manzano, María; Alonso, Enrique (2014). Manzano, María; Sain, Ildikó; Alonso, Enrique (eds.). The Life and Work of Leon Henkin. Cham: Springer International Publishing. pp. 3–22. doi:10.1007/978-3-319-09719-0_1. ISBN 978-3-319-09718-3.
Monk, J. Donald (2014). Manzano, María; Sain, Ildikó; Alonso, Enrique (eds.). The Life and Work of Leon Henkin. Cham: Springer International Publishing. pp. 59–66. doi:10.1007/978-3-319-09719-0_7. ISBN 978-3-319-09718-3.
Manzano, María (2014). Manzano, María; Sain, Ildikó; Alonso, Enrique (eds.). The Life and Work of Leon Henkin. Cham: Springer International Publishing. pp. 149–175. doi:10.1007/978-3-319-09719-0_12. ISBN 978-3-319-09718-3.
Areces, Carlos; Blackburn, Patrick; Huertas, Antonia; Manzano, María (June 2014). "Completeness in Hybrid Type Theory". Journal of Philosophical Logic. 43 (2–3): 209–238. doi:10.1007/s10992-012-9260-4. hdl:11086/20021. ISSN 0022-3611.

tandfonline.com

Dawson, John W. (January 1993). "The compactness of first-order logic:from gödel to lindström". History and Philosophy of Logic. 14 (1): 15–37. doi:10.1080/01445349308837208. ISSN 0144-5340.

worldcat.org

search.worldcat.org

Henkin, Leon (June 1996). "The Discovery of My Completeness Proofs". Bulletin of Symbolic Logic. 2 (2): 127–158. doi:10.2307/421107. ISSN 1079-8986.
Henkin, Leon (1962-11-16). "Are Logic and Mathematics Identical?: An old thesis of Russell's is reexamined in the light of subsequent developments in mathematical logic". Science. 138 (3542): 788–794. doi:10.1126/science.138.3542.788. ISSN 0036-8075.
Quine, W. V. (March 1938). "Completeness of the propositional calculus". Journal of Symbolic Logic. 3 (1): 37–40. doi:10.2307/2267505. ISSN 0022-4812.
Henkin, Leon (June 1950). "Completeness in the theory of types". Journal of Symbolic Logic. 15 (2): 81–91. doi:10.2307/2266967. ISSN 0022-4812.
Henkin, Leon (1953). "Some interconnections between modern algebra and mathematical logic". Transactions of the American Mathematical Society. 74 (3): 410–427. doi:10.1090/S0002-9947-1953-0055287-X. ISSN 0002-9947.
Dawson, John W. (January 1993). "The compactness of first-order logic:from gödel to lindström". History and Philosophy of Logic. 14 (1): 15–37. doi:10.1080/01445349308837208. ISSN 0144-5340.
Areces, Carlos; Blackburn, Patrick; Huertas, Antonia; Manzano, María (June 2014). "Completeness in Hybrid Type Theory". Journal of Philosophical Logic. 43 (2–3): 209–238. doi:10.1007/s10992-012-9260-4. hdl:11086/20021. ISSN 0022-3611.
Henkin, Leon (1950). "Completeness in the theory of types". Journal of Symbolic Logic. 15 (2): 81–91. doi:10.2307/2266967. ISSN 0022-4812. JSTOR 2266967. S2CID 36309665.
Henkin, Leon (1953). "Banishing the rule of substitution for functional variables". Journal of Symbolic Logic. 18 (3): 201–208. doi:10.2307/2267403. ISSN 0022-4812. JSTOR 2267403. S2CID 35612072.
Henkin, Leon (1953). "Some notes on nominalism". Journal of Symbolic Logic. 18 (1): 19–29. doi:10.2307/2266323. ISSN 0022-4812. JSTOR 2266323. S2CID 30875647.
Mancosu, Paolo (2018-01-31). "The Origin of the Group in Logic and the Methodology of Science". Journal of Humanistic Mathematics. 8 (1): 371–413. doi:10.5642/jhummath.201801.19. ISSN 2159-8118.
"Award of the 1964 Chauvenet Prize to Professor Leon A. Henkin". The American Mathematical Monthly. 71 (1): 3. 1964. ISSN 0002-9890.[