WorldCat Identities

Curry, Haskell B. (Haskell Brooks) 1900-1982

Overview
Works: 47 works in 214 publications in 6 languages and 3,392 library holdings
Roles: Honoree, Collaborator
Classifications: QA9, 511.3
Publication Timeline
Key
Publications about  Haskell B Curry Publications about Haskell B Curry
Publications by  Haskell B Curry Publications by Haskell B Curry
posthumous Publications by Haskell B Curry, published posthumously.
Most widely held works about Haskell B Curry
 
Most widely held works by Haskell B Curry
Foundations of mathematical logic by Haskell B Curry ( Book )
23 editions published between 1961 and 2012 in English and held by 909 WorldCat member libraries worldwide
A comprehensive account of the constructive theory of the first-order 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
Outlines of a formalist philosophy of mathematics by Haskell B Curry ( Book )
36 editions published between 1951 and 1970 in English and Undetermined and held by 772 WorldCat member libraries worldwide
Combinatory logic by Haskell B Curry ( Book )
40 editions published between 1958 and 2000 in 3 languages and held by 645 WorldCat member libraries worldwide
Provability, Computability and Reflection
A theory of formal deducibility by Haskell B Curry ( Book )
28 editions published between 1950 and 1966 in English and Undetermined and held by 355 WorldCat member libraries worldwide
To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism ( Book )
4 editions published in 1980 in English and held by 233 WorldCat member libraries worldwide
Leçons de logique algébrique by Haskell B Curry ( Book )
11 editions published in 1952 in 3 languages and held by 176 WorldCat member libraries worldwide
Combinatory logic by Haskell B Curry ( )
6 editions published in 1972 in English and held by 125 WorldCat member libraries worldwide
Combinatory logic by Haskell B Curry ( Book )
16 editions published between 1958 and 1994 in English and held by 78 WorldCat member libraries worldwide
Lógica combinatoria by Haskell B Curry ( Book )
3 editions published in 1967 in Spanish and held by 22 WorldCat member libraries worldwide
Grundlagen der kombinatorischen Logik by Haskell B Curry ( Book )
5 editions published in 1930 in German and held by 12 WorldCat member libraries worldwide
Combinatory logic ( Book )
1 edition published in 1958 in English and held by 9 WorldCat member libraries worldwide
Osnovanii︠a︡ matematicheskoĭ logiki by Haskell B Curry ( Book )
1 edition published in 1969 in Russian and held by 7 WorldCat member libraries worldwide
A study of inverse interpolation of the Eniac by Haskell B Curry ( Book )
3 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)
Combinatory logic by Haskell B Curry ( )
in German and held by 4 WorldCat member libraries worldwide
Osnovaniâ matematičeskoj logiki by Haskell B Curry ( Book )
2 editions published in 1969 in Russian and held by 3 WorldCat member libraries worldwide
Combinatory logic : Vol. 1-2 by Haskell B Curry ( Book )
in Dutch and held by 2 WorldCat member libraries worldwide
Combinatory logic ( )
in Undetermined and held by 2 WorldCat member libraries worldwide
Osnovanija matematičeskoj logiki by Haskell B Curry ( Book )
1 edition published in 1969 in Russian and held by 2 WorldCat member libraries worldwide
Essays on combinatory logic, lambda calculus and formalism ( Book )
1 edition published in 1980 in English and held by 2 WorldCat member libraries worldwide
Combinatory logic : With two sections by William Craig by Haskell B Curry ( Book )
2 editions published between 1958 and 1968 in Dutch and English and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.00 for Combinator ... to 1.00 for Haskell B. ...)
Alternative Names
Brooks Curry, Haskell, 1900-
Curry, H. B.
Curry, H. B. 1900-
Curry, H. B. (Haskell Brooks), 1900-
Curry, H. B. (Haskell Brooks), 1900-1982
Curry, Haskell B.
Curry, Haskell B. (Haskell Brooks), 1900-1982
Curry, Haskell Brooks
Curry, Haskell Brooks, 1900-
Curry, Haskell Brooks, 1900-1982
Karri, Chaskell B.
Karri, Haskell B.
Karri, Khaskell B.
Karri, Khaskell B., 1900-1982
Languages
English (156)
French (9)
German (6)
Russian (4)
Spanish (4)
Dutch (3)
Covers