Комбінаторна логіка (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Комбінаторна логіка" in Ukrainian language version.

refsWebsite

Global rank Ukrainian rank

6doi.org

2^nd place

4^th place

4web.archive.org

1^st place

2archive.org

6^th place

2jstor.org

26^th place

129^th place

1lmu.de

low place

1uleth.ca

low place

1ejournals.eu

low place

1sciencedirect.com

149^th place

211^th place

archive.org

Curry, Haskell Brooks (1930). Grundlagen der Kombinatorischen Logik [Foundations of combinatorial logic]. American Journal of Mathematics (German) . The Johns Hopkins University Press. 52 (3): 509—536. doi:10.2307/2370619. JSTOR 2370619.
Wolfram, Stephen (2002). A New Kind of Science. Wolfram Media, Inc. с. 1121. ISBN 1-57955-008-8.

doi.org

Schönfinkel, Moses (1924). Über die Bausteine der mathematischen Logik (PDF). Mathematische Annalen. 92: 305—316. doi:10.1007/bf01448013. Архів оригіналу (PDF) за 8 Квітня 2018. Процитовано 5 Березня 2019. Translated by Stefan Bauer-Mengelberg as «On the building blocks of mathematical logic» in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 355–66.
Curry, Haskell Brooks (1930). Grundlagen der Kombinatorischen Logik [Foundations of combinatorial logic]. American Journal of Mathematics (German) . The Johns Hopkins University Press. 52 (3): 509—536. doi:10.2307/2370619. JSTOR 2370619.
Turner, David A. (1979). Another Algorithm for Bracket Abstraction. The Journal of Symbolic Logic. 44: 267—270. doi:10.2307/2273733. JSTOR 2273733.
Lachowski, Łukasz (2018). On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic. Reports on Mathematical Logic (53): 19—42. doi:10.4467/20842589RM.18.002.8835. Архів оригіналу за 23 Квітня 2019. Процитовано 9 вересня 2018.
Goldberg, Mayer (2004). A construction of one-point bases in extended lambda calculi. Information Processing Letters. 89: 281—286. doi:10.1016/j.ipl.2003.12.005. Архів оригіналу за 23 Квітня 2019. Процитовано 23 Квітня 2019.
Cherlin, Edward (1991). Pure Functions in APL and J. Proceedings of the international conference on APL '91: 88—93. doi:10.1145/114054.114065.

ejournals.eu

Lachowski, Łukasz (2018). On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic. Reports on Mathematical Logic (53): 19—42. doi:10.4467/20842589RM.18.002.8835. Архів оригіналу за 23 Квітня 2019. Процитовано 9 вересня 2018.

jstor.org

Curry, Haskell Brooks (1930). Grundlagen der Kombinatorischen Logik [Foundations of combinatorial logic]. American Journal of Mathematics (German) . The Johns Hopkins University Press. 52 (3): 509—536. doi:10.2307/2370619. JSTOR 2370619.
Turner, David A. (1979). Another Algorithm for Bracket Abstraction. The Journal of Symbolic Logic. 44: 267—270. doi:10.2307/2273733. JSTOR 2273733.

lmu.de

cip.ifi.lmu.de

Schönfinkel, Moses (1924). Über die Bausteine der mathematischen Logik (PDF). Mathematische Annalen. 92: 305—316. doi:10.1007/bf01448013. Архів оригіналу (PDF) за 8 Квітня 2018. Процитовано 5 Березня 2019. Translated by Stefan Bauer-Mengelberg as «On the building blocks of mathematical logic» in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 355–66.

sciencedirect.com

Goldberg, Mayer (2004). A construction of one-point bases in extended lambda calculi. Information Processing Letters. 89: 281—286. doi:10.1016/j.ipl.2003.12.005. Архів оригіналу за 23 Квітня 2019. Процитовано 23 Квітня 2019.

uleth.ca

people.uleth.ca

Seldin, Jonathan (2008). The Logic of Curry and Church (PDF). Архів оригіналу (PDF) за 16 Травня 2017. Процитовано 23 Квітня 2019.

web.archive.org

Schönfinkel, Moses (1924). Über die Bausteine der mathematischen Logik (PDF). Mathematische Annalen. 92: 305—316. doi:10.1007/bf01448013. Архів оригіналу (PDF) за 8 Квітня 2018. Процитовано 5 Березня 2019. Translated by Stefan Bauer-Mengelberg as «On the building blocks of mathematical logic» in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 355–66.
Seldin, Jonathan (2008). The Logic of Curry and Church (PDF). Архів оригіналу (PDF) за 16 Травня 2017. Процитовано 23 Квітня 2019.
Lachowski, Łukasz (2018). On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic. Reports on Mathematical Logic (53): 19—42. doi:10.4467/20842589RM.18.002.8835. Архів оригіналу за 23 Квітня 2019. Процитовано 9 вересня 2018.
Goldberg, Mayer (2004). A construction of one-point bases in extended lambda calculi. Information Processing Letters. 89: 281—286. doi:10.1016/j.ipl.2003.12.005. Архів оригіналу за 23 Квітня 2019. Процитовано 23 Квітня 2019.