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

1

Reviews of Popper's Articles on Logic:

, In: The Logical Writings of Karl Popper; Trends in Logic,

Ackermann, Wilhelm ; Beth, Evert W. ; Curry, Haskell B.... - p. 221-233 , 2022

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

2

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/..

3

THE PURPOSES OF LOGICAL FORMALIZATION:

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

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

4

Two Examples of Algorithms:

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

Link: http://www.digizeitschri..

5

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/..

6

Addendum to Early History of the Association for Symbolic L..:

Ducasse, C. J. ; Curry, Haskell B.
The Journal of Symbolic Logic. 28 (1963) 4 - p. 279 ff. , 1963

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

7

Logic as Mathematical Science:

CURRY, Haskell B.
Annals of the Japan Association for Philosophy of Science. 2 (1963) 3 - p. 131-143 , 1963

Link: https://doi.org/10.4288/..

8

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..

9

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..

10

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..

11

THE INFERENTIAL APPROACH TO LOGICAL CALCULUS (part I):

CURRY, HASKELL B.
Logique et Analyse. 3 (1960) 11/12 - p. 119-136 , 1960

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

12

CALCULUSES AND FORMAL SYSTEMS:

Curry, Haskell B.
Dialectica. 12 (1958) 3/4 - p. 249-273 , 1958

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

13

Preface:

, In: Combinatory Logic; Studies in Logic and the Foundations of Mathematics,

Curry, Haskell B. ; Feys, Konekt - p. vii-ix , 1958

Link: https://doi.org/10.1016/..

14

ON DEFINITIONS IN FORMAL SYSTEMS:

Curry, Haskell B.
Logique et Analyse. 1 (1958) 3/4 - p. 105-114 , 1958

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

15

Introduction to mathematical logic:

Curry, Haskell B.
Journal of the Franklin Institute. 264 (1957) 3 - p. 244-246 , 1957

Link: https://doi.org/10.1016/..