The following pages link to Haskell B. Curry (Q769599):
Displaying 38 items.
- Modified basic functionality in combinatory logic (Q5672870) (← links)
- A MATHEMATICAL TREATMENT OF THE RULES OF THE SYLLOGISM (Q5761281) (← links)
- (Q5763662) (← links)
- A note on the associative law in logical algebras (Q5763998) (← links)
- On the use of dots as brackets in logical expressions (Q5766346) (← links)
- A note on the reduction of Gentzen’s calculus 𝐿𝐽 (Q5772797) (← links)
- Some aspects of the problem of mathematical rigor (Q5779169) (← links)
- A Formalization of Recursive Arithmetic (Q5779181) (← links)
- The Paradox of Kleene and Rosser (Q5780355) (← links)
- (Q5788181) (← links)
- (Q5802120) (← links)
- Note on iterations with convergence of higher degree (Q5804504) (← links)
- (Q5807663) (← links)
- (Q5807664) (← links)
- (Q5807824) (← links)
- (Q5810053) (← links)
- On the definition of negation by a fixed proposition in inferential calculus (Q5813182) (← links)
- (Q5813905) (← links)
- The permutability of rules in the classical inferential calculus (Q5813906) (← links)
- The system LD (Q5813907) (← links)
- The elimination theorem when modality is present (Q5813908) (← links)
- (Q5816112) (← links)
- (Q5823267) (← links)
- (Q5830893) (← links)
- A revision of the fundamental rules of combinatory logic (Q5834319) (← links)
- Consistency and completeness of the theory of combinators (Q5834320) (← links)
- The combinatory foundations of mathematical logic (Q5834321) (← links)
- Some Advances in the Combinatory Theory of Quantification (Q5834322) (← links)
- The inconsistency of certain formal logics (Q5834323) (← links)
- The Heaviside Operational Calculus (Q5839079) (← links)
- The method of steepest descent for non-linear minimization problems (Q5840776) (← links)
- The universal quantifier in combinatory logic. (Q5893219) (← links)
- Apparent variables from the standpoint of combinatory logic. (Q5893224) (← links)
- The universal quantifier in combinatory logic. (Q5916577) (← links)
- Functionality in combinatory logic. (Q5916578) (← links)
- Functionality in combinatory logic. (Q5924596) (← links)
- Apparent variables from the standpoint of combinatory logic. (Q5925017) (← links)
- Some additions to the theory of combinators. (Q5965881) (← links)
