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

1

THE PURPOSES OF LOGICAL FORMALIZATION:

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

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

2

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

3

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

4

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

5

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

6

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

7

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

8

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

9

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

10

CALCULUSES AND FORMAL SYSTEMS:

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

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

11

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

12

Mathematics, Syntactics and Logic:

Curry, Haskell B.
Mind. 62 (1953) 246 - p. 172-183 , 1953

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

13

THEORY AND EXPERIENCE:

Curry, Haskell B.
Dialectica. 7 (1953) 2 - p. 176-178 , 1953

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

14

II.—MATHEMATICS, SYNTACTICS AND LOGIC1:

CURRY, HASKELL B.
Mind. LXII (1953) 246 - p. 172-183 , 1953

Link: https://doi.org/10.1093/..

15

On the definition of substitution, replacement and allied n..:

Curry, Haskell B.
Revue philosophique de Louvain. 50 (1952) - p. 251-269 , 1952

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