Saltar al contenido principal

Come join our latest LibraryThing Hunt!

Fotografía de autor

A. S. Troelstra (1939–2019)

Autor de Basic Proof Theory

12+ Obras 117 Miembros 0 Reseñas

Sobre El Autor

Incluye los nombres: Anne Troelstra, Anne S. Troelstra

Obras de A. S. Troelstra

Popular Reciente

Basic Proof Theory (1996) 35 copias

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

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

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

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

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

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

Principles of intuitionism (1969) 5 copias

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

Lectures on Linear Logic (1992) 4 copias

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

Bibliography of natural history travel narratives (2017) 1 copia

Explorador de obras

Obras relacionadas

De Boekenwereld. - 30, nr. 1: Reizen (2014) — Contribuidor — 1 copia

Etiquetado

Audubon (2) Baoxing (2) Bucher (2) Darwin (2) David (2) Exploración (4) Farges (2) Farrer (2) Forster (2) Franchet (2) Historia de la ciencia (3) Irán (2) Kingsley (2) Laos (2) Literatura de viajes (3) Lógica (5) Martius (2) Matemáticas (3) Mathematical Constructivism (2) Naxi (2) ontdekkingsreizen (3) orang-oetan (2) Potanin (2) Pratt (2) rundergems (2) Río Mekong (2) Schomburgk (2) Smith (2) Sparrman (2) Sri Lanka (2) Sudáfrica (2) takin (2) travel narrative (3) Trichechus (2) vaantjesboom (2) Viaje (5) Wallace (2) Wang (2) Yangtsé (2) zakdoekenboom (2)

Traducción de etiquetas en funcionamiento

Conocimiento común

Nombre legal: Troelstra, Anne Sjerp
Otros nombres: Troelstra, Anne S.
Fecha de nacimiento: 1939-08-10
Fecha de fallecimiento: 2019-03-07
Género: male
Nacionalidad: Nederland

Miembros

También Puede Gustarte

Autores relacionados

Dirk van Dalen Editor

Paul van Capelleveen

Estadísticas

Obras: 12
También por: 1
Miembros: 117
Popularidad: #168,597
Valoración: ½ 3.7

ISBNs: 24
Idiomas: 1

Tablas y Gráficos

Ver más tablas y gráficos

Imágenes

Galería de Autores

Enlaces

Wikipedia (English)

Académica (English)

El sitio del colaborador

Los miembros de LibraryThing mejoran los autores combinando sus nombres y sus obras, separando los nombres de autores homónimos en identidades distintas, y más.

El sitio del colaborador

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

Este sitio utiliza cookies para ofrecer nuestros servicios, mejorar el rendimiento, análisis y (si no estás registrado) publicidad. Al usar LibraryThing reconoces que has leído y comprendido nuestros términos de servicio y política de privacidad. El uso del sitio y de los servicios está sujeto a estas políticas y términos.