A mathematical logic without variables. II
From MaRDI portal
Publication:2645029
DOI10.1215/S0012-7094-35-00123-5zbMath0012.38601MaRDI QIDQ2645029
Publication date: 1935
Published in: Duke Mathematical Journal (Search for Journal in Brave)
Related Items (5)
Combinatory weak reduction in lambda calculus ⋮ A system of formal logic without an analogue to the curry W operator ⋮ A revision of the fundamental rules of combinatory logic ⋮ Consistency and completeness of the theory of combinators ⋮ Topology, domain theory and theoretical computer science
This page was built for publication: A mathematical logic without variables. II
