The universal quantifier in combinatory logic.

DOI10.2307/1968422zbMATH Open57.0057.02OpenAlexW2326394178MaRDI QIDQ5893219FDOQ5893219

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)