The combinatory foundations of mathematical logic
From MaRDI portal
Publication:5834321
DOI10.2307/2266302zbMath0060.02207OpenAlexW1979324125MaRDI QIDQ5834321
Publication date: 1942
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2266302
Related Items
Systems of illative combinatory logic complete for first-order propositional and predicate calculus ⋮ Principal type-schemes and condensed detachment ⋮ Extending the Curry-Howard interpretation to linear, relevant and other resource logics ⋮ Blocking the routes to triviality with depth relevance ⋮ Routes to triviality ⋮ Curry's paradox, generalized modus ponens axiom and depth relevance ⋮ Logic of subtyping ⋮ Why Sets? ⋮ BUNDER’S PARADOX ⋮ From constructivism to computer science ⋮ On modal logics of partial recursive functions