References
H. B. Curry,On the definition of substitution, replacement and allied notions in an abstract formal system,Revue Philosophique de Louvain, vol. 50 (1952), pp. 251–269.
H. B. Curry andR. Feys,Combinatory Logic I, North-Holland, Amsterdam, 1958.
G. Kreisel andJ. L. Krivine,Elements de Logique Mathematique, Dunod, Paris, 1967.
J. Lambek,Deductive systems and categories II,Lecture Notes in Mathematics. 86, Springer, Berlin, 1967.
D. Prawitz,Ideas and results in proof theory,Proceedings of the Second Scandinavian Logic Symposium (J. E. Fenstad-Editor), North-Holland, Amsterdam, 1971.
S. Stenlund,Combinators λ-terms and proof theory, Reidel, Dordrecht, 1972.
Additional information
Allatum est die 15 Januarii 1975
Rights and permissions
About this article
Cite this article
Crabbé, M. Prelogic of logoi. Stud Logica 35, 219–226 (1976). https://doi.org/10.1007/BF02282484
Issue Date:
DOI: https://doi.org/10.1007/BF02282484