Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000110598059 | 1 hits
Person
ISNI: 
0000 0001 1059 8059
Name: 
Sjerp Troelstra, Anne
Troelstra, A. S.
Troelstra, Anne
Troelstra, Anne S.
Troelstra, Anne Sjerp
Dates: 
1939-
Creation class: 
article
cre
Language material
Text
txt
Creation role: 
author
contributor
editor
redactor
Related names: 
Brouwer, L.E.J. (1881-1966)
Brouwer, Luitzen Egbertus Jan (1881-1966)
Dalen, D. van (1932-)
Dalen, Dirk (1932-)
Dalen, Dirk van (1932- ))
Kister, Jane E.
L. E. J. Brouwer Centenary Symposium (1981 (Noordwijkerhout))
Lenski, Wolfgang (1952- ))
Schwichtenberg, H. (1942-)
Schwichtenberg, Helmut (1942- ))
Schwichtenberg, Helmut (1942-)
Titles: 
Axioms for intuitionistic mathematics incompatible with classical logic
Basic proof theory
Choice sequences : a chapter of intuitionistic mathematics
Comparing the theory of representations and constructive mathematics
Concepts and axioms
Constructivism in mathematics : an introduction
Formal systems for some branches of intuitionistic analysis
From constructivism to computer science
History of constructivism in the twentieth century
Intuitionistic general topology
Kolibries in de oren : natuurhistorische reisverhalen 1700-1950
L.E.J Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands). The L.E.J. Brouwer ... 1982:
L. E. J. Brouwer centenary symposium, The : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981
Lectures on linear logic
Logic in the writings of Brouwer and Heyting
Marginalia on sequent calculi
Metamathematical investigation of intuitionistic arithmetic and analysis
Natural deduction for intuitionistic linear logic
Non-linear systems analysis in electro-retinography
On intermediate propositional logics
On the early history of intuitionistic logic
On the syntax of Martin-Löf's theories
Principles of intuitionism : lectures presented at the summer conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y.
Proof theory ; constructive mathematics
Realizability
Remarks on intuitionism and the philosophy of mathematics
Tijgers op de Ararat : natuurhistorische reisverhalen 1700-1950
Van Spitsbergen naar Suriname : Nederlandse natuurhistorische reisverhalen
Ware en gevoelige verhalen
Zwarte mensen, witte bergen : verhaal van een tocht naar het Sneeuwgebergte van Nieuw-Guinea
Contributed to or performed: 
DIGEST OF CHIROPRACTIC ECONOMICS
STUDIA LOGICA
THEORETICAL COMPUTER SCIENCE -AMSTERDAM-
Notes: 
Sources: 
VIAF BNF LC NTA NUKAT SUDOC WKP
DAI
TEL
ZETO