%0 Journal Article %1 citeulike:14263576 %A Feys, Robert %D 1946 %J Revue Philosophique de Louvain %K 03b40-combinatory-logic-and-lambda-calculus %N 2 %P 237--270 %R 10.3406/phlou.1946.4052 %T La technique de la logique combinatoire (suite et fin) %U http://dx.doi.org/10.3406/phlou.1946.4052 %V 44

@article{citeulike:14263576, added-at = {2017-06-29T07:13:07.000+0200}, author = {Feys, Robert}, biburl = {https://www.bibsonomy.org/bibtex/29cbeda8c03a423876c4928e4e81a1646/gdmcbain}, citeulike-article-id = {14263576}, citeulike-linkout-0 = {http://dx.doi.org/10.3406/phlou.1946.4052}, doi = {10.3406/phlou.1946.4052}, interhash = {18197c93c9bfd0d50e9e5637f46024f6}, intrahash = {9cbeda8c03a423876c4928e4e81a1646}, issn = {0035-3841}, journal = {Revue Philosophique de Louvain}, keywords = {03b40-combinatory-logic-and-lambda-calculus}, number = 2, pages = {237--270}, posted-at = {2017-01-27 02:47:06}, priority = {2}, timestamp = {2017-06-29T07:13:07.000+0200}, title = {{La technique de la logique combinatoire (suite et fin)}}, url = {http://dx.doi.org/10.3406/phlou.1946.4052}, volume = 44, year = 1946 }