WorldCat Identities

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

Overview
Works: 40 works in 257 publications in 8 languages and 3,600 library holdings
Roles: Author, Honoree, Contributor, Dedicatee
Classifications: QA9, 510.1
Publication Timeline
.
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 )

35 editions published between 1961 and 2012 in English and Russian and held by 935 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
Combinatory logic by Haskell B Curry( Book )

82 editions published between 1958 and 1994 in 4 languages and held by 721 WorldCat member libraries worldwide

Provability, Computability and Reflection
Outlines of a formalist philosophy of mathematics by Haskell B Curry( Book )

44 editions published between 1951 and 1970 in 5 languages and held by 696 WorldCat member libraries worldwide

A theory of formal deducibility by Haskell B Curry( Book )

34 editions published between 1950 and 1966 in English and Undetermined and held by 350 WorldCat member libraries worldwide

To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism( Book )

5 editions published in 1980 in English and held by 249 WorldCat member libraries worldwide

Leçons de logique algébrique by Haskell B Curry( Book )

14 editions published in 1952 in 3 languages and held by 191 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

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)
Combinatory logic by Haskell B Curry( )

in German and held by 4 WorldCat member libraries worldwide

Les fondements logiques des mathématiques by Evert Willem Beth( Book )

1 edition published in 1950 in French and held by 3 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 v 1 by Haskell B Curry( Book )

2 editions published between 1968 and 1974 in English and held by 2 WorldCat member libraries worldwide

A theory of formal deducibility by Haskell B Curry( )

2 editions published in 1957 in Romanian and English and held by 2 WorldCat member libraries worldwide

Combinatory logic, Lambda-Calculus, and formalism : essays in honour of H. R. Curry( Book )

2 editions published in 1980 in English and held by 2 WorldCat member libraries worldwide

Combinatory Logic( )

in Undetermined and held by 2 WorldCat member libraries worldwide

Combinatory logic by Haskell B Curry( Book )

1 edition published in 1958 in English and held by 2 WorldCat member libraries worldwide

On polya frequency functions by Haskell B Curry( Book )

1 edition published in 1965 in English and held by 2 WorldCat member libraries worldwide

Combinatory logic : Vol. 1-2 by Haskell B Curry( Book )

in Dutch 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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.60 (from 0.43 for Combinator ... to 0.99 for Curry, Has ...)

Foundations of mathematical logic
Alternative Names
Brooks Curry, Haskell 1900-

Curry, H. B.

Curry, H. B. 1900-

Curry, H. B. 1900-1982

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

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

Curry, Haskell B.

Curry, Haskell B. 1900-1982

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

Curry, Haskell Brooks

Curry, Haskell Brooks 1900-

Curry, Haskell Brooks 1900-1982

Haskell Brooks Curry

Haskell Brooks Curry US-amerikanischer Logiker und Mathematiker

Haskell Curry Amerikaans wiskundige

Haskell Curry amerikansk matematikar

Haskell Curry amerikansk matematiker

Haskell Curry matematico e logico statunitense

Karri, Chaskell B.

Karri, Chaskell B. 1900-1982

Karri, Haskell B.

Karri, Khaskell B.

Karri, Khaskell B. 1900-1982

Гаскелл Каррі

Карри, Хаскелл

Карри, Хаскелл Б..

هسکل کاری ریاضی‌دان آمریکایی

해스켈 커리

ハスケル・カリー

哈斯凱爾加里

Languages
Covers
Combinatory logicStudies in Logic and the Foundations of Mathematics, 65 Provability, Computability and Reflection