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 National Library of France NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France xR Extended Titles National Library of Spain Library of Congress/NACO RERO - Library Network of Western Switzerland
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 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)