TY - BOOK AU - Curry Haskell B AU - Feys Robert TI - Combinatory logic T2 - Studies in logic and the foundations of mathematics ed by L E J Brouwer U1 - R14, J81.1 PY - 1958/// KW - PHILOSOPHY ER -