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.
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}