E-LIB Suche - Ergebnisse für: Curry, Haskell Brooks

1

To H. B. Curry: essays on combinatory logic, lambda calculu..:

Seldin, Jonathan Paul ; Curry, Haskell Brooks ; Hindley, James Roger , 1980

Exemplar: Zentrale:E02 h mat 010 m/384

2

, In:

Combinatory logic / Haskell B. Curry; Robert Feys; William ..:

,

Studies in logic and the foundations of mathematics ; 65

Curry, Haskell Brooks ; Feys, Robert ; Craig, William... , 1972

Exemplar: Zentrale:E02 a mat 012.5/529-2

3

Outlines of a formalist philosophy of mathematics

Studies in logic and the foundations of mathematics

Curry, Haskell B. ; Curry, Haskell Brooks - 3. print . , 1970

Exemplar: Zentrale:E02 a mat 030 ef/754

4

, In:

Combinatory logic / Haskell B. Curry; Robert Feys; William ..:

,

Studies in logic and the foundations of mathematics ; ...

Curry, Haskell Brooks ; Feys, Robert ; Craig, William... - 2nd printing . , 1968

Exemplar: Zentrale:E02 a mat 012.5/529-1

5

Foundations of mathematical logic

MacGraw-Hill series in higher mathematics

Curry, Haskell Brooks , 1963

Exemplar: Zentrale:E02 a mat 010 eh/462

6

A theory of formal deducibility:

Curry, Haskell B. (Haskell Brooks), 1900-1982
http://hdl.handle.net/2027/coo.31924001505340. , 1957

Link: http://hdl.handle.net/20..

7

Combinatory logic

Volume IIStudies in logic and the foundations of mathematics ; v. 65

Hindley, J. Roger ; Seldin, J. P. ; Curry, Haskell B. , 1972

Link: https://www.sciencedirec..

Exemplar: Zentrale:E02 a mat 012.5/529-2

8

Outlines of a formalist philosophy of mathematics

Studies in logic and the foundations of mathematics ; v. 3

Curry, Haskell B. , 1951

Link: https://www.sciencedirec..

9

A study of generalized standardization in combinatory logic:

, In: Lecture Notes in Mathematics; ⊨ISILC Proof Theory Symposion,

Curry, Haskell B. - p. 44-55 , 1975

Link: https://doi.org/10.1007/..

10

THE PURPOSES OF LOGICAL FORMALIZATION:

Curry, Haskell B.
Logique et Analyse. 11 (1968) 43 - p. 357-366 , 1968

Link: https://www.jstor.org/st..

11

Two Examples of Algorithms:

Curry, Haskell B.
Archiv für mathematische Logik und Grundlagenforschung. 7 (1964) - p. , 1964

Link: http://www.digizeitschri..

12

Two examples of algorithms:

Curry, Haskell B.
Archiv für Mathematische Logik und Grundlagenforschung. 7 (1964) 1-2 - p. 29-44 , 1964

Link: https://doi.org/10.1007/..

13

Early History of the Association for Symbolic Logic:

Ducasse, C. J. ; Curry, Haskell B.
The Journal of Symbolic Logic. 27 (1962) 3 - p. 255-258 , 1962

Link: https://www.jstor.org/st..

14

THE INFERENTIAL APPROACH TO LOGICAL CALCULUS (part II):

CURRY, HASKELL B. ; Curry, H. B.
Logique et Analyse. 4 (1961) 13/14 - p. 5-22 , 1961

Link: https://www.jstor.org/st..

15

THE DEDUCTION THEOREM IN THE COMBINATORY THEORY OF RESTRICT..:

CURRY, HASKELL B.
Logique et Analyse. 3 (1960) 9 - p. 15-39 , 1960

Link: https://www.jstor.org/st..