VIAF

Virtual International Authority File

Search

Curry, Haskell Brooks, 1900-1982 NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France National Library of the Czech Republic

Curry, Haskell ISNI-test

Curry, Haskell Brooks RERO - Library Network of Western Switzerland German National Library

Curry, Haskell Brooks, 1900- National Library of the Netherlands-test

Curry, Haskell B. (Haskell Brooks), 1900- National Library of Israel National Library of Australia

Haskell Curry American mathematician Wikidata

Curry, Haskell B. (Haskell Brooks), 1900-1982 Library of Congress/NACO

Curry, Haskell B. National Library of Spain

Curry, Haskell B. 1900-1982 German National Library

VIAF ID: 34535556 (Personal)

Permalink: http://viaf.org/viaf/34535556

ISNI-test: 0000  0001  1024  6379 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (35)

Open Section Close Section 5xx's: Related Names (1)

  • 551 _ _ ‎‡a  Millis German National Library

Open Section Close SectionWorks

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.] National Library of France
Combinatory logic. Library of Congress/NACO RERO - Library Network of Western Switzerland Sudoc [ABES], France National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of France National Library of Spain
Foundations of mathematical logic RERO - Library Network of Western Switzerland Sudoc [ABES], France National Library of the Netherlands-test NUKAT Center of Warsaw University Library National Library of France National Library of Spain
Haskell B. Curry,... J.-Roger Hindley,... Jonathan P. Seldin,.. National Library of France
Leçons de logique algébrique NUKAT Center of Warsaw University Library National Library of the Netherlands-test RERO - Library Network of Western Switzerland Sudoc [ABES], France National Library of France
Osnovaniâ matematičeskoj logiki NUKAT Center of Warsaw University Library RERO - Library Network of Western Switzerland Sudoc [ABES], France
Outlines of a formalist philosophy of mathematics National Library of the Netherlands-test German National Library NUKAT Center of Warsaw University Library RERO - Library Network of Western Switzerland Sudoc [ABES], France National Library of France
A theory of formal deducibility NUKAT Center of Warsaw University Library National Library of the Netherlands-test RERO - Library Network of Western Switzerland Sudoc [ABES], France German National Library
Основания математической логики RERO - Library Network of Western Switzerland Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (7)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (11)

Open Section Close Section History of VIAF ID:34535556 (36)