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 ISNI

Curry, Haskell B. BIBSYS National Library of Spain

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

Curry, Haskell Brooks RERO - Library Network of Western Switzerland

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

Haskell Curry American mathematician and logician Wikidata

Curry, Haskell B. 1900-1982 German National Library

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

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 (41)

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 xR Extended Relationships BIBSYS 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 xR Extended Relationships BIBSYS 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 National Library of the Netherlands Sudoc [ABES], France BIBSYS 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 NUKAT Center of Warsaw University Library German National Library BIBSYS National Library of France National Library of the Netherlands Sudoc [ABES], France National Library of the Czech Republic RERO - Library Network of Western Switzerland
A theory of formal deducibility NUKAT Center of Warsaw University Library German National Library BIBSYS National Library of the Netherlands Sudoc [ABES], France 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 (7)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (11)

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