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 Brooks, 1900- National Library of the Netherlands

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

Curry, Haskell B. National Library of Spain

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

Curry, Haskell B. 1900-1982 German National Library

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 National Library of France NUKAT Center of Warsaw University Library xR Extended Titles Sudoc [ABES], France RERO - Library Network of Western Switzerland National Library of Spain Library of Congress/NACO National Library of the Netherlands
Foundations of mathematical logic NUKAT Center of Warsaw University Library xR Extended Titles National Library of Spain Library of Congress/NACO National Library of France National Library of the Netherlands National Library of Israel Sudoc [ABES], France RERO - Library Network of Western Switzerland
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 Sudoc [ABES], France National Library of the Netherlands RERO - Library Network of Western Switzerland
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 National Library of the Netherlands Sudoc [ABES], France German National Library RERO - Library Network of Western Switzerland
A theory of formal deducibility. - German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands RERO - Library Network of Western Switzerland
Основания математической логики RERO - Library Network of Western Switzerland Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (8)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (11)

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