Curry, Haskell B. (Haskell Brooks) 19001982
Overview
Works:  41 works in 277 publications in 7 languages and 3,674 library holdings 

Roles:  Author, Honoree, Editor, Contributor, Dedicatee 
Classifications:  QA9, 511.3 
Publication Timeline
.
Most widely held works about
Haskell B Curry
 Haskell B. Curry papers by Haskell B Curry( )
 The fundamental properties of geodesics by Haskell B Curry( )
 Curry, Haskell Brooks. mathematician, educator( )
 A reinterpretation of Schönfinkel's logical operators by W. V Quine( Book )
 Haskell Brooks Curry( )
Most widely held works by
Haskell B Curry
Foundations of mathematical logic by
Haskell B Curry(
Book
)
39 editions published between 1961 and 2012 in 3 languages and held by 940 WorldCat member libraries worldwide
A comprehensive account of the constructive theory of the firstorder predicate calculus, which is central to modern mathematical logic and important for mathematicians, philosophers and scientists whose work impinges upon logic. The first half of the book gives the basic principles and outlines of the field. After a general introduction, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation which expresses the meaning to be attached to the logical connectives and to develop the properties which follow from the assumptions so motivated. Written by a man considered by many to be one of the major pioneers in the field of mathematical logic, this book avoids a doctrinaire stance, presenting various interpretations of logical systems.From publisher description
39 editions published between 1961 and 2012 in 3 languages and held by 940 WorldCat member libraries worldwide
A comprehensive account of the constructive theory of the firstorder predicate calculus, which is central to modern mathematical logic and important for mathematicians, philosophers and scientists whose work impinges upon logic. The first half of the book gives the basic principles and outlines of the field. After a general introduction, the author discusses formal methods including algorithms and epitheory. A brief treatment of the Markov treatment of algorithms is included. The elementary facts about lattices and similar algebraic systems are then covered. In the second half of the book Curry investigates the possibility for a formulation which expresses the meaning to be attached to the logical connectives and to develop the properties which follow from the assumptions so motivated. Written by a man considered by many to be one of the major pioneers in the field of mathematical logic, this book avoids a doctrinaire stance, presenting various interpretations of logical systems.From publisher description
Combinatory logic by
Haskell B Curry(
Book
)
82 editions published between 1958 and 1994 in 4 languages and held by 700 WorldCat member libraries worldwide
82 editions published between 1958 and 1994 in 4 languages and held by 700 WorldCat member libraries worldwide
Outlines of a formalist philosophy of mathematics by
Haskell B Curry(
Book
)
48 editions published between 1951 and 1970 in 4 languages and held by 693 WorldCat member libraries worldwide
48 editions published between 1951 and 1970 in 4 languages and held by 693 WorldCat member libraries worldwide
A theory of formal deducibility by
Haskell B Curry(
Book
)
36 editions published between 1950 and 1966 in English and held by 349 WorldCat member libraries worldwide
36 editions published between 1950 and 1966 in English and held by 349 WorldCat member libraries worldwide
To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism(
Book
)
7 editions published in 1980 in English and held by 250 WorldCat member libraries worldwide
7 editions published in 1980 in English and held by 250 WorldCat member libraries worldwide
Leçons de logique algébrique by
Haskell B Curry(
Book
)
15 editions published in 1952 in 3 languages and held by 197 WorldCat member libraries worldwide
15 editions published in 1952 in 3 languages and held by 197 WorldCat member libraries worldwide
Combinatory logic by
Haskell B Curry(
Book
)
4 editions published in 1968 in English and held by 16 WorldCat member libraries worldwide
4 editions published in 1968 in English and held by 16 WorldCat member libraries worldwide
Combinatory logic by
Haskell B Curry(
Book
)
2 editions published in 1972 in English and held by 14 WorldCat member libraries worldwide
Provability, Computability and Reflection
2 editions published in 1972 in English and held by 14 WorldCat member libraries worldwide
Provability, Computability and Reflection
Grundlagen der kombinatorischen Logik by
Haskell B Curry(
Book
)
5 editions published in 1930 in German and held by 13 WorldCat member libraries worldwide
5 editions published in 1930 in German and held by 13 WorldCat member libraries worldwide
Combinatory logic(
Book
)
1 edition published in 1958 in English and held by 9 WorldCat member libraries worldwide
1 edition published in 1958 in English and held by 9 WorldCat member libraries worldwide
A study of inverse interpolation of the Eniac by
Haskell B Curry(
Book
)
2 editions published in 1946 in English and held by 5 WorldCat member libraries worldwide
A study is made of methods of using the Eniacto convert a table giving values of two functions x(t, phi), for evenly spaced values of t (time) and phi (angle of departure) into a table giving t for evenly spaced values of x and phi. At the same time there may be additional functions of t and phi to be expressed in terms of x and phi. A basic scheme for doing this is set up and programmed in detail. This scheme contains three additional functions y, z, w. The basic scheme is such as to be readily modified; some modifications are studied and programmed in somewhat less detail than the basic scheme. (Author)
2 editions published in 1946 in English and held by 5 WorldCat member libraries worldwide
A study is made of methods of using the Eniacto convert a table giving values of two functions x(t, phi), for evenly spaced values of t (time) and phi (angle of departure) into a table giving t for evenly spaced values of x and phi. At the same time there may be additional functions of t and phi to be expressed in terms of x and phi. A basic scheme for doing this is set up and programmed in detail. This scheme contains three additional functions y, z, w. The basic scheme is such as to be readily modified; some modifications are studied and programmed in somewhat less detail than the basic scheme. (Author)
Les fondements logiques des mathématiques by
Evert Willem Beth(
Book
)
1 edition published in 1950 in French and held by 5 WorldCat member libraries worldwide
1 edition published in 1950 in French and held by 5 WorldCat member libraries worldwide
On polya frequency functions by
Haskell B Curry(
Book
)
3 editions published in 1965 in English and held by 4 WorldCat member libraries worldwide
The theory of spline functions is developed to a point which allows us to establish the properties of spline interpolation for the case of multiple nodes. The genesis of Polya frequency functions from spline functions is developed. (Author)
3 editions published in 1965 in English and held by 4 WorldCat member libraries worldwide
The theory of spline functions is developed to a point which allows us to establish the properties of spline interpolation for the case of multiple nodes. The genesis of Polya frequency functions from spline functions is developed. (Author)
Combinatory logic [by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig by
Haskell B Curry(
Book
)
1 edition published in 1968 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 1968 in English and held by 3 WorldCat member libraries worldwide
Essays on combinatory logic, lambda calculus and formalism by
Haskell B Curry(
Book
)
2 editions published in 1980 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1980 in English and held by 3 WorldCat member libraries worldwide
Combinatory logic : Vol. 12 by
Haskell B Curry(
Book
)
in Dutch and held by 2 WorldCat member libraries worldwide
in Dutch and held by 2 WorldCat member libraries worldwide
Combinatory Logic : Vol.: 2(
Book
)
1 edition published in 1972 in Undetermined and held by 2 WorldCat member libraries worldwide
1 edition published in 1972 in Undetermined and held by 2 WorldCat member libraries worldwide
Combinatory Logic : Vol.: 1(
Book
)
1 edition published in 1958 in Undetermined and held by 2 WorldCat member libraries worldwide
1 edition published in 1958 in Undetermined and held by 2 WorldCat member libraries worldwide
Studies in Logic and the Foundations of Mathematics, 65 : Provability, Computability and Reflection by
Haskell B Curry(
)
1 edition published in 1972 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 1972 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Hindley, J. Roger Contributor Editor
 Seldin, J. P. Contributor Editor
 Feys, Robert
 Craig, William 1918
 Craig, William Author of introduction
 Project Euclid
 Freudenthal, Hans
 Feys, Robert Author of introduction
 Beth, Evert Willem Author
 Wyatt, Willa A.
Useful Links
Associated Subjects
Algebra, Abstract Ballistics Combinatory logic Computer programming Curry, Haskell B.(Haskell Brooks), EducationCurricula Educators ENIAC (Computer) Harvard University Interpolation Logic, Symbolic and mathematical Mathematicians Mathematics MathematicsPhilosophy MathematicsStudy and teaching PennsylvaniaUniversity Park Spline theory United States
Alternative Names
Brooks Curry, Haskell 1900
Brooks Curry, Haskell, 19001982
Curry, H. B.
Curry, H. B. 1900
Curry, H. B. 19001982
Curry, H. B. (Haskell Brooks), 1900
Curry, H. B. (Haskell Brooks), 19001982
Curry, Haskell B.
Curry, Haskell B. 19001982
Curry, Haskell B. (Haskell Brooks), 1900
Curry, Haskell B. (Haskell Brooks), 19001982
Curry, Haskell Brooks
Curry, Haskell Brooks 1900
Curry, Haskell Brooks 19001982
Haskell Brooks Curry
Haskell Brooks Curry amerikai matematikus
Haskell Brooks Curry USamerikanischer Logiker und Mathematiker
Haskell Curry Amerikaans wiskundige
Haskell Curry amerikansk matematikar
Haskell Curry amerikansk matematiker
Haskell Curry matematico e logico statunitense
Haskell Curry Matemático y lógico estadounidense
Haskell Curry Matematikawan Amerika
Karri, Chaskell B.
Karri, Chaskell B. 19001982
Karri, Haskell B.
Karri, Khaskell B.
Karri, Khaskell B. 19001982
Гаскелл Каррі
Гаскелл Каррі американський математик і логік
Карри, Хаскелл
Карри, Хаскелл Б..
هاسكل كاري
هسکل کاری ریاضیدان آمریکایی
ჰასკელ კარი ამერიკელი მათემატიკოსი და ლოგიკოსი
해스켈 커리
ハスケル・カリー
哈斯凱爾·加里
Languages
Covers