Passer au contenu principal

Photo de l'auteur

Haskell B. Curry (1900–1982)

Auteur de Foundations of Mathematical Logic

8+ oeuvres 132 utilisateurs 0 critiques

A propos de l'auteur

Comprend les noms: Haskell Brooks Curry

Œuvres de Haskell B. Curry

Populaires Récent

Foundations of Mathematical Logic (1963) 77 exemplaires

Outlines of a Formalist Philosophy of Mathematics (1951) 18 exemplaires

Theory of Formal Deducibility (1957) 12 exemplaires

Combinatory Logic: Volume I (1974) 7 exemplaires

Combinatory logic (1958) 6 exemplaires

To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism (1980) 6 exemplaires

Combinatory logic, 2 (1972) 4 exemplaires

Leçons de logique algébrique 2 exemplaires

Explorateur d'oeuvres

Oeuvres associées

The Critical Approach to Science and Philosophy : In Honor of Karl R. Popper (1964) — Contributeur — 17 exemplaires

Étiqueté

11.7 (1) 135 (1) @ofcl3 (1) A lire (3) AB130 (1) Algorithmique (1) ATT (1) boîte 6 (1) calculus (1) Computing Science (1) Curryfication (1) Dover Publications (1) E (1) foundations (1) Grenier (2) Implication (1) Informatique (1) introduction to logic (1) Jaune (1) kontoret (1) LA4 (1) La5 (1) lattices (1) Logique (11) Logique mathématique (6) LR4 (1) Lu (1) Mathematics/Logic (4) mathematics; logic (1) Mathématiques (23) Nelson (1) NelsonRoom (1) non-fiction (1) Philosophie (2) Philosophie des mathématiques (1) Programmation (4) Session01-006313_Roger-Weir-Library_Box0239 (1) SHELF 004 (1)

Traduction des mots-clés activée

Partage des connaissances

Date de naissance: 1900-09-12
Date de décès: 1982-09-01
Sexe: male
Nationalité: USA
Relations: Curry, Samuel Silas (father)
Baright, Anna (mother)
Hilbert, David (doctoral advisor)

Membres

Vous aimerez peut-être aussi

Auteurs associés

Statistiques

Œuvres: 8
Aussi par: 1
Membres: 132
Popularité: #153,555
Évaluation: 3.8

ISBN: 10

Tableaux et graphiques

Voir plus de tableaux et graphiques

Photos

Galerie des auteurs

Liens

Wikipedia (English)

Centre d'aide

Les membres de LibraryThing améliorent les auteurs en combinant les noms d'auteurs et les œuvres, en séparant les auteurs homonymes en identités distinctes, et bien plus encore.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.