Apparent variables from the standpoint of combinatory logic
From MaRDI portal
Publication:1839723
DOI10.2307/1968167zbMath0007.19401OpenAlexW2326697462MaRDI QIDQ1839723
Publication date: 1933
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1968167
Related Items
Systems of illative combinatory logic complete for first-order propositional and predicate calculus ⋮ On adding (ξ) to weak equality in combinatory logic ⋮ Three Syntactic Theories for Combinatory Graph Reduction ⋮ A glimpse into the paradise of combinatory algebra ⋮ A system of formal logic without an analogue to the curry W operator ⋮ Abstraction problems in combinatory logic: A compositive approach
