Consistency and completeness of the theory of combinators

DOI10.2307/2266656zbMATH Open0060.02206OpenAlexW1974022492MaRDI QIDQ5834320FDOQ5834320

Authors: Haskell B. Curry 

Publication date: 1941

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

foundations, philosophy, logic

Cites Work

• Some Additions to the Theory of Combinators
• A mathematical logic without variables. I
• A mathematical logic without variables. II
• A revision of the fundamental rules of combinatory logic

This page was built for publication: Consistency and completeness of the theory of combinators

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