×

Some philosophical aspects of combinatory logic. (English) Zbl 0479.03005

The Kleene Symp., Proc., Madison/Wis. 1978, Stud. Logic Found. Math., Vol. 101, 85-101 (1980).

MSC:

03B40 Combinatory logic and lambda calculus
03A05 Philosophical and critical aspects of logic and foundations
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03-03 History of mathematical logic and foundations

Citations:

Zbl 0436.00007