VIAF

Virtual International Authority File

Search

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

Haskell Curry American mathematician Wikidata ISNI

Curry, Haskell Brooks RERO - Library Network of Western Switzerland

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

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

Curry, Haskell B. National Library of Spain

Curry, Haskell B. 1900-1982 German National Library

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

VIAF ID: 34535556 (Personal)

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

ISNI: 0000  0001  1024  6379 

Open Section Close Section Preferred Forms

 

 

 

 

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

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. NUKAT Center of Warsaw University Library National Library of Spain Library of Congress/NACO National Library of France RERO - Library Network of Western Switzerland Sudoc [ABES], France National Library of the Netherlands
Foundations of mathematical logic NUKAT Center of Warsaw University Library National Library of Spain Library of Congress/NACO National Library of France RERO - Library Network of Western Switzerland National Library of Israel Sudoc [ABES], France National Library of the Netherlands
Grundlagen der kombinatorischen Logik T. 1. 2 German National Library
Haskell B. Curry,... J.-Roger Hindley,... Jonathan P. Seldin,.. National Library of France
Leçons de logique algébrique National Library of France NUKAT Center of Warsaw University Library RERO - Library Network of Western Switzerland National Library of the Netherlands Sudoc [ABES], 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 France NUKAT Center of Warsaw University Library RERO - Library Network of Western Switzerland Sudoc [ABES], France German National Library National Library of the Netherlands
A theory of formal deducibility German National Library NUKAT Center of Warsaw University Library RERO - Library Network of Western Switzerland National Library of the Netherlands Sudoc [ABES], France
Основания математической логики RERO - Library Network of Western Switzerland Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (8)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (12)

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