Books · Search
Mathematics · Philosophy
Outlines of a formalist philosophy of mathematics
1951
Logic, Symbolic and mathematical · Symbolic and mathematical Logic
Foundations of mathematical logic
1963
Combinatory logic
1958
Combinatory Logic; 1
2021
Foundations of Mathematical Logic
2012
A theory of formal deducibility
1950
Logic, symbolic and mathematical
Theory of Formal Deducibility
1957
Outlines of a Formalist Philosophy of Mathematics
Foundations of Mathematical Logic (McGraw-Hill Series in Higher Mathematics)
Combinatory logic · Combinatorial analysis
Studies in Logic and the Foundations of Mathematics, 65
1972
Abstract Algebra · Algebra, Abstract
Leçons de logique algébrique
1952
Combinatory logic [by] Haskell B. Curry [and] Robert Feys
1968
Addresses, essays, lectures · Symbolic and mathematical Logic
To H.B. Curry
1980
Leçons de logique algébrique
1966
Combinatory logic · Symbolic and mathematical Logic
