Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] 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: 
Amsterdam
Brouwer, L. E. J. (1881-1966)
Brouwer, Luitzen Egbertus Jan (1881-1966)
Dalen, D. van (1932-)
Dalen, Dirk (1932-)
Dalen, Dirk van
Kister, Jane E.
L. E. J. Brouwer Centenary Symposium (1981 ; Noordwijkerhout)
Lenski, Wolfgang (1952- ))
Müller, Gert Heinz (1923- ))
Schwichtenberg, Helmut (1942-)
Titles: 
Basic proof theory
Choice sequences : a chapter of intuitionistic mathematics
Comparing the theory of representations and constructive mathematics
Constructivism in mathematics : an introduction
From constructivism to computer science
Intuitionistic general topology.
L.E.J. Brouwer Centenary Symposium, The : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981
Lectures on linear logic, 1991:
Marginalia on Sequent Calculi
Metamathematical investigation of intuitionistic arithmetic and analysis
Principles of intuitionism.
Contributed to or performed: 
DIGEST OF CHIROPRACTIC ECONOMICS
STUDIA LOGICA
THEORETICAL COMPUTER SCIENCE -AMSTERDAM-
Notes: 
Naturwissensch. Fak., Diss.--Amsterdam, 1966
Sources: 
VIAF LC NTA NUKAT SUDOC WKP
DAI
TEL
ZETO