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: 
Amsterdam
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-....))
Müller, Gert Heinz (1923-....))
Schwichtenberg, H. (1942-)
Schwichtenberg, Helmut
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 proceedings of the Conference held in Noordwijkerhout, 8-13 June, 1981, The
Lectures on linear logic
Marginalia on Sequent Calculi
Metamathematical investigation of intuitionistic arithmetic and analysis
Principles of intuitionism Lectures
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