A mathematical logic without variables. I
From MaRDI portal
Publication:1840346
DOI10.2307/1968669zbMath0011.00201OpenAlexW2331685757MaRDI QIDQ1840346
Publication date: 1935
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1968669
Related Items
Standard and Normal Reductions, Arithmetic based on the Church numerals in illative combinatory logic, On adding (ξ) to weak equality in combinatory logic, Unnamed Item, The system CΔ of combinatory logic, An abstract Church-Rosser theorem. II: Applications, Capacity of the regular polyhedra, Step by Recursive Step: Church's Analysis of Effective Calculability, How to normalize the Jay, 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, New sets of postulates for combinatory logics
