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

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

Curry, Haskell B. BIBSYS National Library of Spain

Haskell Curry American mathematician ISNI

Curry, Haskell Brooks RERO - Library Network of Western Switzerland

Haskell Curry American mathematician and logician Wikidata

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

Curry, Haskell B. 1900-1982 German National Library

VIAF ID: 34535556 (Personal)

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

Open Section Close Section Preferred Forms

 

 

 

 

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

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 BIBSYS xR Extended Relationships National Library of Spain Library of Congress/NACO National Library of France National Library of the Netherlands National Library of Israel Sudoc [ABES], France Wikidata RERO - Library Network of Western Switzerland
Foundations of mathematical logic NUKAT Center of Warsaw University Library BIBSYS National Library of Spain Library of Congress/NACO National Library of France National Library of Australia xR Extended Relationships 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 Wikidata
Haskell B. Curry,... J.-Roger Hindley,... Jonathan P. Seldin,.. National Library of France
The inconsistency of certain formal logics Wikidata
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 About

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