ISNI: |
0000 0001 1024 6379
https://isni.org/isni/0000000110246379
|
Name: |
Curry, H. B.
Curry, Haskell B.
Curry, Haskell Brooks
Haskell Brooks Curry
Haskell Brooks Curry (amerikai matematikus)
Haskell Brooks Curry (US-amerikanischer Logiker und Mathematiker)
Haskell Curry (American mathematician)
Haskell Curry (Amerikaans wiskundige)
Haskell Curry (amerikansk matematikar)
Haskell Curry (amerikansk matematiker)
Haskell Curry (matematico e logico statunitense)
Karri, Chaskell B.
Karri, Haskell B.
Karri, Khaskell B.
Гаскелл Каррі
Карри, Хаскелл
Карри, Хаскелл Б.
هسکل کاری (ریاضیدان آمریکایی)
해스켈 커리
ハスケル・カリー
哈斯凱爾·加里
|
Dates: |
1900-1982 |
Creation class: |
cre
Language material
|
Creation role: |
author
collaborator
creator
|
Related names: |
Craig, William
Dončenko, V. V.
Donchenko, V.V
Feys, Robert
Feys, Robert (co-author)
Georg-August-Universitat, Gottingen
Hindley, J. Roger
Hindley, James Roger (1939-...)
Hindley, James Roger (co-author)
Miéville, Henri L. (co-author)
Sacristán, Manuel (1925-1985)
Seldin, Jonathan P
Seldin, Jonathan Paul
Донченко, В. В
|
Titles: |
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... Haskell B. Curry,... Robert Feys,...
Foundations of mathematical logic
Grundlagen der kombinatorischen Logik T. 1. 2
Leçons de logique algébrique
Osnovaniâ matematičeskoj logiki
Outlines of a formalist philosophy of mathematics. Haskell B. Curry,...
theory of formal deducibility. -, A
Основания математической логики
|
Notes: |
Thesis (doctoral)--Georg-August-Universitat, Gottingen
Wikipedia https://fa.wikipedia.org/wiki/هسکل_کاری
Wikipedia https://ja.wikipedia.org/wiki/ハスケル・カリー
Wikipedia https://ko.wikipedia.org/wiki/해스켈_커리
Wikipedia https://zh.wikipedia.org/wiki/哈斯凱爾·加里
|
Sources: |
NLN
NTA
|