The universal quantifier in combinatory logic.

DOI10.2307/1968422MaRDI QIDQ5893219zbMATHOpenAlexFDO

Authors Haskell B. Curry

Publication date 1931

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/1968422

This page was built for publication: The universal quantifier in combinatory logic.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5893219)