Spring til hovedindhold

Come join our latest LibraryThing Hunt!

Forfatter billede

A. S. Troelstra (1939–2019)

Forfatter af Basic Proof Theory

12+ Works 117 Members 0 Reviews

Om forfatteren

Omfatter også følgende navne: Anne Troelstra, Anne S. Troelstra

Værker af A. S. Troelstra

Populære Nyeste

Basic Proof Theory (1996) 35 eksemplarer

Constructivism in Mathematics: An Introduction, Volume 1 (1988) 18 eksemplarer

Van Spitsbergen naar Suriname Nederlandse natuurhistorische reisverhalen (2008) 11 eksemplarer

Tĳgers op de Ararat : natuurhistorische reisverhalen 1700-1950 (2003) 10 eksemplarer

Kolibries in de oren natuurhistorische reisverhalen 1700-1950 (2009) 10 eksemplarer

Constructivism in Mathematics: An Introduction, Volume 2 (1988) 8 eksemplarer

Metamathematical investigation of intuitionistic arithmetic and analysis (Lecture notes in mathematics, 344) (1973) 7 eksemplarer

Principles of intuitionism (1969) 5 eksemplarer

The L.E.J. Brouwer Centenary Symposium. Proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981 (1982) 5 eksemplarer

Lectures on Linear Logic (1992) 4 eksemplarer

Choice sequences : a chapter of intuitionistic mathematics (1977) 3 eksemplarer

Bibliography of natural history travel narratives (2017) 1 eksemplar

Associated Works

De Boekenwereld. - 30, nr. 1: Reizen (2014) — Bidragyder — 1 eksemplar

Satte nøgleord på

Audubon (2) Baoxing (2) Bucher (2) Darwin (2) David (2) exploration (4) Farges (2) Farrer (2) Forster (2) Franchet (2) history of science (3) Iran (2) Kingsley (2) Laos (2) logic (5) Martius (2) matematik (3) Mathematical Constructivism (2) Mekong (2) Naxi (2) ontdekkingsreizen (3) orang-oetan (2) Potanin (2) Pratt (2) rejse (5) rundergems (2) Schomburgk (2) Smith (2) South Africa (2) Sparrman (2) Sri Lanka (2) takin (2) travel literature (3) travel narrative (3) Trichechus (2) vaantjesboom (2) Wallace (2) Wang (2) Yangtze River (2) zakdoekenboom (2)

Oversættelse af emneord aktiv

Almen Viden

Juridisk navn: Troelstra, Anne Sjerp
Andre navne: Troelstra, Anne S.
Fødselsdato: 1939-08-10
Dødsdag: 2019-03-07
Køn: male
Nationalitet: Nederland

Medlemmer

Måske også interessante?

Associated Authors

Dirk van Dalen Editor

Paul van Capelleveen

Statistikker

Værker: 12
Also by: 1
Medlemmer: 117
Popularitet: #168,597
Vurdering: ½ 3.7

ISBN: 24
Sprog: 1

Diagrammer og grafer

See More Charts & Graphs

Billeder

Forfatter Galleri

Links

Wikipedia (English)

Akademisk (English)

Helper Hub

LibraryThing members improve authors by combining author names and works, separating out homonymous authors into separate identities, and more.

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

På dette site bruger vi cookies til at levere vores ydelser, forbedre performance, til analyseformål, og (hvis brugeren ikke er logget ind) til reklamer. Ved at bruge LibraryThing anerkender du at have læst og forstået vores vilkår og betingelser inklusive vores politik for håndtering af brugeroplysninger. Din brug af dette site og dets ydelser er underlagt disse vilkår og betingelser.