Curry, Haskell Brooks, 1900-1982
Curry, Haskell B. (Haskell Brooks), 1900-1982
Curry, Haskell B.
Curry, Haskell B. 1900-1982
Curry, Haskell B. 1900-
Haskell Brooks Curry
Curry, Haskell Brooks
Curry, H. B.
Curry, Haskell Brooks, 1900-
Curry, Haskell B. (Haskell Brooks)
VIAF ID: 34535556 ( Personal )
Permalink: http://viaf.org/viaf/34535556
Preferred Forms
-
-
-
- 100 1 0 ‡a Curry, Haskell B.
-
- 100 1 _ ‡a Curry, Haskell B. ‡d 1900-
- 100 1 _ ‡a Curry, Haskell B. ‡d 1900-1982
- 100 1 _ ‡a Curry, Haskell B. ‡q (Haskell Brooks)
- 100 1 _ ‡a Curry, Haskell B. ‡q (Haskell Brooks), ‡d 1900-1982
-
-
-
-
-
-
-
- 100 1 _ ‡a Curry, Haskell Brooks, ‡d 1900-1982
-
- 100 0 _ ‡a Haskell Brooks Curry
4xx's: Alternate Name Forms (60)
5xx's: Related Names (1)
- 551 _ _ ‡a Millis ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
Works
Title | Sources |
---|---|
Cohérence et concordance. Discussion sur le principe formel de la pensée [entre H.-L. Miéville, D. Christoff, S. Gagnebin, F. Gonseth, H. B. Curry.] | |
Combinatory logic | |
Foundations of mathematical logic | |
Grundlagen der kombinatorischen Logik T. 1. 2 | |
Haskell B. Curry,... J.-Roger Hindley,... Jonathan P. Seldin,.. | |
The interpretation of formalized implication | |
Leçons de logique algébrique | |
On the use of dots as brackets in logical expressions | |
Osnovaniâ matematičeskoj logiki | |
Outlines of a formalist philosophy of mathematics | |
A theory of formal deducibility | |
Основания математической логики |