Spring naar hoofdinhoud

Afbeelding van de auteur.

Haskell B. Curry (1900–1982)

Auteur van Foundations of Mathematical Logic

8+ Werken 132 Leden 0 Besprekingen

Over de Auteur

Bevat de naam: Haskell Brooks Curry

Werken van Haskell B. Curry

Populair Recent

Foundations of Mathematical Logic (1963) 77 exemplaren

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

Theory of Formal Deducibility (1957) 12 exemplaren

Combinatory Logic: Volume I (1974) 7 exemplaren

Combinatory logic (1958) 6 exemplaren

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

Combinatory logic, 2 (1972) 4 exemplaren

Lecons de Logique Algebrique 2 exemplaren

Gerelateerde werken

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

Tagged

11.7 (1) 135 (1) @ofcl3 (1) AB130 (1) Algoritme (1) Att (1) Box 6 (1) Calculus (1) Computing Science (1) Currying (1) Dover Publications (1) E (1) Filosofie (2) Filosofie van de wiskunde (1) foundations (1) Geel (1) gelezen (1) Grenier (2) implication (1) Informatica (1) introduction to logic (1) kontoret (1) LA4 (1) LA5 (1) lattices (1) Logica (11) LR4 (1) Mathematics/Logic (4) mathematics; logic (1) Nelson (1) NelsonRoom (1) Non-fictie (1) Programmeren (4) Session01-006313_Roger-Weir-Library_Box0239 (1) SHELF 004 (1) te lezen (3) Wiskunde (23) Wiskundige logica (6)

Trefwoordvertaling ingeschakeld

Algemene kennis

Geboortedatum: 1900-09-12
Overlijdensdatum: 1982-09-01
Geslacht: male
Nationaliteit: USA
Relaties: Curry, Samuel Silas (father)
Baright, Anna (mother)
Hilbert, David (doctoral advisor)

Leden

Misschien vindt je deze ook leuk

Gerelateerde auteurs

Statistieken

Werken: 8
Ook door: 1
Leden: 132
Populariteit: #153,555
Waardering: 3.8

ISBNs: 10

Tabellen & Grafieken

Bekijk meer tabellen en grafieken

Afbeeldingen

Links

Wikipedia (English)

Helpers hoek

LibraryThing-leden verbeteren auteurs door auteursnamen en werken te combineren, gelijknamige auteurs te splitsen, en meer.

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

Onze site gebruikt cookies om diensten te leveren, prestaties te verbeteren, voor analyse en (indien je niet ingelogd bent) voor advertenties. Door LibraryThing te gebruiken erken je dat je onze Servicevoorwaarden en Privacybeleid gelezen en begrepen hebt. Je gebruik van de site en diensten is onderhevig aan dit beleid en deze voorwaarden.