Passer au contenu principal

Photo de l'auteur

A. S. Troelstra (1939–2019)

Auteur de Basic Proof Theory

12+ oeuvres 117 utilisateurs 0 critiques

A propos de l'auteur

Comprend les noms: Anne Troelstra, Anne S. Troelstra

Œuvres de A. S. Troelstra

Populaires Récent

Basic Proof Theory (1996) 35 exemplaires

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

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

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

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

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

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

Principles of intuitionism (1969) 5 exemplaires

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

Lectures on Linear Logic (1992) 4 exemplaires

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

Bibliography of natural history travel narratives (2017) 1 exemplaire

Explorateur d'oeuvres

Oeuvres associées

De Boekenwereld. - 30, nr. 1: Reizen (2014) — Contributeur — 1 exemplaire

Étiqueté

Afrique du Sud (2) Audubon (2) Baoxing (2) Bucher (2) Darwin (2) David (2) Exploration (4) Farges (2) Farrer (2) Forster (2) Franchet (2) Histoire des sciences (3) Iran (2) Kingsley (2) Laos (2) Littérature de voyage (3) Logique (5) Martius (2) Mathematical Constructivism (2) Mathématiques (3) Mékong (2) Naxi (2) ontdekkingsreizen (3) orang-oetan (2) Potanin (2) Pratt (2) rundergems (2) Récit de voyage (3) Schomburgk (2) Smith (2) Sparrman (2) Sri Lanka (2) takin (2) Trichechus (2) vaantjesboom (2) Voyage (5) Wallace (2) Wang (2) Yangzi Jiang (2) zakdoekenboom (2)

Traduction des mots-clés activée

Partage des connaissances

Nom légal: Troelstra, Anne Sjerp
Autres noms: Troelstra, Anne S.
Date de naissance: 1939-08-10
Date de décès: 2019-03-07
Sexe: male
Nationalité: Nederland

Membres

Vous aimerez peut-être aussi

Auteurs associés

Dirk van Dalen Editor

Paul van Capelleveen

Statistiques

Œuvres: 12
Aussi par: 1
Membres: 117
Popularité: #168,597
Évaluation: ½ 3.7

ISBN: 24
Langues: 1

Tableaux et graphiques

Voir plus de tableaux et graphiques

Photos

Galerie des auteurs

Liens

Wikipedia (English)

Académique (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.