UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl)
UvA-DARE (Digital Academic Repository)
E.W. Beth als logicus
van Ulsen, P.
Publication date
2000
Link to publication
Citation for published version (APA):
van Ulsen, P. (2000). E.W. Beth als logicus. ILLC dissertation series 2000-04.
General rights
It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s)
and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open
content license (like Creative Commons).
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please
let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material
inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter
to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You
will be contacted as soon as possible.
D a n k w o o r d d
Err zijn tal van personen en instellingen, die a a n h e t tot stand komen van deze dissertatiee h e b b e n bijgedragen.
Inn de eerste instantie zijn dit de b e i d e p r o m o t o r e n , de professoren A.S. Troel-straa en J . F . A . K . van Benthcrn. Niet alleen tijdens het leveren van c o m m e n t a a r opp het aangedragen werk, m a a r ook in de dagelijkse omgang op het i n s t i t u u t hebb ik het genoegen mogen smaken in h u n nabijheid te hebben kunnen verkeren. Eveneenss was dit het geval met de a n d e r e leden van de vakgroep.
N a a s tt de beide promotoren valt n a a r d e m o e i t e , die de leden van promotie-commissiee zich getroost hebben, te refereren. Deze commissie bestond uit doc-torr D . H . J . de J o n g h ( A m s t e r d a m ) , professor A..1. Kox (Amsterdam), professor A.. Visser (Utrecht) en professor H. Visser ( M a a s t r i c h t ) .
Vann de mensen m e t wie ik in de loop der tijd de te behandelen stof heb kunnenn bespreken vallen met n a m e W . Blok, H . C . D o e t s , A. Hendriks, D.H J . de Jongh,, E . C . W . K r a b b e , M. van L a m b a l g e n en M. P a u l y te noemen.
Vann de leden van het onderzoeksinstituut I L L C kunnen in het bijzonder enkelenn van de afdeling theoretische informatica, P. van Einde Boas, T h , J a n s s e n enn L. Torenvliet, genoemd worden. Al in een vroeg s t a d i u m is door hun bemid-delingg de mogelijkheid tot elcctronische tekstverwerking en werkruimte boven dee bibliotheek van het Mathematisch I n s t i t u u t verkregen. Aangezien ik telkens weerr historische t e k s t e n heb moeten r a a d p l e g e n is dit laatste voor mij ran groot belangg geweest. De medewerking van m e t n a m e d e bibliothecaris F . Kroon heeft hett nodige d a a r t o e bijgedragen.
Hett raadplegen van archieven was voor de t o t standkoiuing van deze dis-sertatiee essentieel. H. Visser en A . S . T r o e l s t r a zijn als beheerders van respec-tievelijkk het Beth Archief en het H e y t i n g Archief zo bereidwillig geweest deze archievenn tot dit doel open te stellen.
Tenslottee hebben uit andere hoofde E . Gaskill, F . van der Kolk, E . J . van der Linden,, M. Vervoort, G. Winkel en de b e h u l p z a m e mensen van de C o m p u t e r Netwerkk G r o e p het nodige gedaan om het voltooien van deze dissertatie tot een goedd einde t e brengen.
A m s t e r d a m ,, a u g u s t u s 2000 Paul van Ulsen
! ^ ^ ^ ( P ^ S B l ^ ^ ^ ^ ^ ^ ^ W ™ ™ ,, -I1JMLI.
£ £ ^«"M-tt^at-Aj-- :y3H