%0 Journal Article %1 citeulike:14263575 %A Kleene, S. C. %D 1947 %J The Journal of Symbolic Logic %K 68n18-functional-programming-and-lambda-calculus 00a17-external-book-reviews 03-01-mathematical-logic-and-foundations-instructional-exposition 03b40-combinatory-logic-and-lambda-calculus %N 1 %P 27--28 %R 10.2307/2267192 %T Feys Robert. La technique de la logique combinatoire. Revue philosophique de Louvain (fondée en 1894 sous le titre de ” Revue Néo-scolastique”), vol. 44 (ser. 3 no. 1) (1946), pp. 74–103, and vol. 44 (ser. 3 no. 2) (1946), pp. 237–270. %U http://dx.doi.org/10.2307/2267192 %V 12

@article{citeulike:14263575, added-at = {2017-06-29T07:13:07.000+0200}, author = {Kleene, S. C.}, biburl = {https://www.bibsonomy.org/bibtex/25ede99e4d0d35836a734167386c7e5cc/gdmcbain}, citeulike-article-id = {14263575}, citeulike-linkout-0 = {http://dx.doi.org/10.2307/2267192}, doi = {10.2307/2267192}, interhash = {8b9894d661630cadf4724fd68511cce6}, intrahash = {5ede99e4d0d35836a734167386c7e5cc}, issn = {0022-4812}, journal = {The Journal of Symbolic Logic}, keywords = {68n18-functional-programming-and-lambda-calculus 00a17-external-book-reviews 03-01-mathematical-logic-and-foundations-instructional-exposition 03b40-combinatory-logic-and-lambda-calculus}, month = mar, number = 1, pages = {27--28}, posted-at = {2017-01-27 02:40:13}, priority = {2}, timestamp = {2020-09-04T03:45:13.000+0200}, title = {{Feys Robert. La technique de la logique combinatoire. Revue philosophique de Louvain (fond\'{e}e en 1894 sous le titre de ” Revue N\'{e}o-scolastique”), vol. 44 (ser. 3 no. 1) (1946), pp. 74–103, and vol. 44 (ser. 3 no. 2) (1946), pp. 237–270.}}, url = {http://dx.doi.org/10.2307/2267192}, volume = 12, year = 1947 }