Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000110246379 | 1 hits
Person
ISNI: 
0000 0001 1024 6379
Name: 
Curry, H. B.
Curry, Haskell
Curry, Haskell B.
Curry, Haskell Brooks
Karri, Chaskell B.
Karri, Haskell B.
Karri, Khaskell B.
Dates: 
1900-1982
Creation class: 
cre
Language material
Text
Creation role: 
author
contributor
Related names: 
Craig, William (1918-)
Feys, Robert (1889-)
Gastev, Ûrij Alekseevič (1928- ))
Gonseth, Ferdinand (1890-1975)
Hindley, J. Roger
Hindley, James Roger (1939-)
Sacristán, Manuel (1925-1985)
Seldin, J. P.
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,...
Combinatory logic, vol. 1
Combinatory Logic Volume II
Foundations of mathematical logic
Haskell B. Curry,... J.-Roger Hindley,... Jonathan P. Seldin,..
Leçons de logique algébrique, par Haskell B. Curry,... [Préface par Robert Feys.]
Lógica combinatoria
Osnovaniâ matematičeskoj logiki
Osnovanii︠a︡ matematicheskoĭ logiki
Osnovanija matematičeskoj logiki ; perevod s anglijskogo V.V. Dončenko ; pod red. Ju.A. Gasteva
Outlines of a formalist philosophy of mathematics. Haskell B. Curry,...
theory of formal deducibility, A
To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism
To H.B. Curry : essays on combinatory logic, lambdacalculus and formalism
Основание математической логики
Notes: 
Sources: 
VIAF BNE BNF LC NKC NLI NTA NUKAT RERO SUDOC WKP
TEL