A. S. Troelstra
Anne Sjerp Troelstra
, born in
1939
at
Maartensdijk
(
Utrecht
),
The Netherlands
, is
Emeritus
professor of
pure mathematics
and
foundations of mathematics
at the Institute of
Logic
,
Language
and
Information
(ILLC) of the
University of Amsterdam
. He is a
constructivist
logician
.
External links
Home page of A. S. Troelstra.
http://staff.science.uva.nl/~anne/
<< Previous
Word Browser
Next >>
jacob ammen
mediabase
susan anton
citron prototype c
tito rodriguez
subdivision (land)
kevin martin (curler)
grassalkovich palace
summer archbishop's palace
motorweek
andy van slyke
back yard burgers
franz tunder
place bell
nippon life insurance company
decline of video gaming
piaggio pd.808
meiji yasuda life insurance company
yuman music
le grand macabre
ts ma4f exass
big character poster
ameno koyame
ricky wilson
thomas huckle weller
robert racic
gleb pavlovsky
ambrogio bergognone
andre frederic cournand
employment (album)
chandler burr
charles b. huggins
michio morishima
matsuya
peyton rous
manar maged
east detroit radio
parity anomaly
pas d'armes
longman's magazine
ludwig brne
matsuya co., ltd.
list of new hampshire locations
frisbie pie company