Some properties of equality in combinatory logic.

zbMath58.0070.01MaRDI QIDQ562893

Haskell B. Curry

Publication date: 1932

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)