Hoppa vidare till huvudinnehållet

Författarbild

A. S. Troelstra (1939–2019)

Författare till Basic Proof Theory

12+ verk 117 medlemmar 0 recensioner

Om författaren

Inkluderar namnen: Anne Troelstra, Anne S. Troelstra

Verk av A. S. Troelstra

Populära Nyliga

Basic Proof Theory (1996) 35 exemplar

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

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

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

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

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

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

Principles of intuitionism (1969) 5 exemplar

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

Lectures on Linear Logic (1992) 4 exemplar

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

Bibliography of natural history travel narratives (2017) 1 exemplar

Verksförteckning

Associerade verk

De Boekenwereld. - 30, nr. 1: Reizen (2014) — Bidragsgivare — 1 exemplar

Taggad

Audubon (2) Baoxing (2) Bucher (2) Darwin (2) Farges (2) Farrer (2) Forster (2) Franchet (2) Iran (2) Kingsley (2) Kung David (2) Laos (2) logik (5) Martius (2) matematik (3) Mathematical Constructivism (2) Mekong (2) Naxi (2) ontdekkingsreizen (3) orang-oetan (2) Potanin (2) Pratt (2) reseberättelse (3) reselitteratur (3) resor (5) rundergems (2) Schomburgk (2) Smith (2) Sparrman (2) Sri Lanka (2) Sydafrika (2) takin (2) Trichechus (2) utforskning (4) vaantjesboom (2) vetenskapshistoria (3) Wallace (2) Wang (2) Yangtze (2) zakdoekenboom (2)

Taggöversättning är påslagen

Allmänna fakta

Namn enligt folkbokföringen: Troelstra, Anne Sjerp
Andra namn: Troelstra, Anne S.
Födelsedag: 1939-08-10
Avled: 2019-03-07
Kön: male
Nationalitet: Nederland

Medlemmar

Du skulle kanske också gilla

Associerade författare

Dirk van Dalen Editor

Paul van Capelleveen

Statistik

Verk: 12
Även av: 1
Medlemmar: 117
Popularitet: #168,597
Betyg: ½ 3.7

ISBN: 24
Språk: 1

Tabeller & diagram

Fler diagram och tabeller

Bilder

Författargalleri

Länkar

Wikipedia (English)

Universitetssida (English)

Medhjälparcenter

LibraryThings medlemmar förbättrar informationen genom att kombinera författarnamn och verk, separera författare med samma namn, med mera.

Medhjälparcenter

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

Denna webbplats använder kakor för att fungera optimalt, analysera användarbeteende och för att visa reklam (om du inte är inloggad). Genom att använda LibraryThing intygar du att du har läst och förstått våra Regler och integritetspolicy. All användning av denna webbplats lyder under dessa regler.