Search filters

List of works by Haskell Curry

Book Review: Introduction to Logic and to the Methodology of Deductive Sciences

Functionality in Combinatory Logic

scientific article

Grundlagen der Kombinatorischen Logik

On Pólya frequency functions IV: The fundamental spline functions and their limits

scientific article published in 1966

On the definition of substitution, replacement and allied notions in a abstract formal system

Some Philosophical Aspects of Combinatory Logic

The Inconsistency of Certain Formal Logics

scientific paper by Churh and Curry

The inconsistency of certain formal logics

scientific paper

The method of steepest descent for non-linear minimization problems ⬇️

scientific article published in 1944

The paradox of Kleene and Rosser

Paulina is supported by:

About Paulina

Help