Marcel Crabbé
Gottlob Frege, Conceptual Notation and Related Articles
1974
Revue philosophique de Louvain 72/15
H. B. Curry, J. R. Hindley, J. P. Seldin, Combinatory Logic. Vol. II
1974
Revue philosophique de Louvain 72/15
Sören Stenlund, Combinators
1974
Revue philosophique de Louvain 72/15
Stephen Cole Kleene, Logique mathématique
1972
Revue philosophique de Louvain 70/7
The Collected Papers of Gerhard Gentzen
1972
Revue philosophique de Louvain 70/6