The following pages link to Haskell B. Curry (Q769599):
Displayed 50 items.
- (Q562857) (redirect page) (← links)
- Some additions to the theory of combinators. (Q562858) (← links)
- Some properties of equality in combinatory logic. (Q562893) (← links)
- Combinatory logic. With two sections by William Craig. (Q769601) (← links)
- The universal quantifier in combinatory logic (Q1565128) (← links)
- Grundlagen der kombinatorischen Logik. I. (Q1828981) (← links)
- Grundlagen der kombinatorischen Logik. II. (Q1828982) (← links)
- The foundations of combinatory logic. (Q1829050) (← links)
- An analysis of logical substitution. (Q1834560) (← links)
- Apparent variables from the standpoint of combinatory logic (Q1839723) (← links)
- Some properties of equality and implication in combinatory logic (Q1840146) (← links)
- On Polya frequency functions. IV: The fundamental spline functions and their limits (Q2524110) (← links)
- Combinatory logic. Vol. II (Q2553958) (← links)
- Outlines of a formalist philosophy of mathematics. 3rd printing (Q2558854) (← links)
- Some aspects of the problem of mathematical rigor. (Q2579573) (← links)
- A formalization of recursive arithmetic. (Q2579576) (← links)
- The paradox of Kleene and Rosser. (Q2585205) (← links)
- A note on the reduction of Gentzen's calculus LJ. (Q2590263) (← links)
- On the use of dots as brackets in logical expressions. (Q2601635) (← links)
- A note on the associative law in logical algebras. (Q2605664) (← links)
- A mathematical treatment of the rules of the syllogism. (Q2605665) (← links)
- First properties of functionality in combinatory logic. (Q2605680) (← links)
- A note of the associative law in logical algebras. (Q2605723) (← links)
- Foundations of the theory of abstract sets from standpoint of combinatory logic. (Q2616592) (← links)
- Some properties of equality and implication in combinatory logic. (Q2619877) (← links)
- Outlines of a formalist philosophy of mathematics (Q2649307) (← links)
- CALCULUSES AND FORMAL SYSTEMS (Q3268309) (← links)
- Logic as Mathematical Science (Q3843597) (← links)
- (Q3936712) (← links)
- (Q4091905) (← links)
- (Q4135470) (← links)
- (Q4178997) (← links)
- Some Additions to the Theory of Combinators (Q4482046) (← links)
- (Q4610347) (← links)
- Functionality in Combinatory Logic (Q4758660) (← links)
- The consistency of a system of combinatory restricted generality (Q5181344) (← links)
- Two examples of algorithms (Q5338327) (← links)
- (Q5416152) (← links)
- (Q5541309) (← links)
- (Q5547552) (← links)
- (Q5551413) (← links)
- (Q5552746) (← links)
- Combinatory recursive objects of all finite types (Q5554973) (← links)
- (Q5554974) (← links)
- (Q5559529) (← links)
- (Q5565113) (← links)
- The Undecidability of λK-Conversion (Q5569451) (← links)
- (Q5579475) (← links)
- (Q5586222) (← links)
- (Q5593825) (← links)