Universiteit van Amsterdam

Historical Dissertation (HDS) Series

The ILLC 'Historical Dissertations' Series is a new initiative meant to make some dissertations available that are of historical, and partly also contemporary relevance to the ILLC, and that are not readily accessible elsewhere. The authors include ILLC members, but also colleagues from elsewhere. Naturally, there is no claim that these texts are 'ILLC dissertations'. We merely wish to help preserve and highlight these documents for a wider community.

HDS-24:
Wim Veldman Investigations in Intuitionistic Hierarchy Theory
For ordering, please contact the ILLC Buro.
Originally published: May 1981.
HDS-23:
Hendrik de Vries Compact Spaces and Compactification: An Algebraic Approach
For ordering, please contact the ILLC Buro.
Originally published: June 1962.
HDS-22:
Albert Visser Aspects of Diagonalization & Provability
For ordering, please contact the ILLC Buro.
Originally published: November 1981.
HDS-21:
Gerard R. Renardel de Lavalette Theories with type-free application and extended bar induction
Originally published: February 1985.
HDS-20:
L.E.J. Brouwer Over de grondslagen der wiskunde
Originally published: February 1907.
HDS-19:
Kees Doets Completeness and Definability
Originally published: May 1987.
HDS-18:
Ieke Moerdijk Topics in Intuitionism and Topos Theory
Originally published: November 1985.
HDS-17:
Victor Sanchez Studies on Natural Logic and Categorial Grammar
Originally published: January 1991.
HDS-16:
Piet Rodenburg Intuitionistic Correspondence Theory
Originally published: November 1986.
HDS-15:
Dirk van Dalen Extension Problems in Intuitionistic Plane Projective Geometry
Originally published: Mei 1963 (UvA).
HDS-14:
Edith Spaan Complexity of Modal Logics
Originally published: Maart 1993 (UvA).
HDS-13:
Daniel Leivant Absoluteness of Intuitionistic Logic
Originally published: November 1979 (UvA).
HDS-12:
Arend Heyting Intuitionistische Axiomatiek der Projectieve Meetkunde
Originally published: May 1925 (UvA).
HDS-11:
Peter van Emde Boas Abstract Resource-Bound Classes
Originally published: September 1974 (UvA).
HDS-10:
Theo Janssen Foundations and applications of Montague grammar
Originally published: April 1983 (UvA).
HDS-09:
Paul Vitányi Lindenmayer Systems: Structure, Languages, and Growth Functions
Originally published: April 1978 (VU Amsterdam).
HDS-08:
Michiel van Lambalgen Random Sequences
Originally published: September 1987 (Amsterdam).
HDS-07:
Remko Scha Logical Foundations for Question Answering
Originally published: February 1983 (Groningen).
HDS-06:
Johan van Benthem Modal Correspondence Theory
Originally published: February 1977 (Amsterdam).
HDS-05:
Dick de Jongh Investigations on the Intuitionistic Propositional Calculus
Originally published: August 1968 (Wisconsin).
HDS-04:
Yde Venema Many-Dimensional Modal Logic
Originally published: Januari 1992 (UvA).
HDS-03:
Anne Troelstra Intuitionistic General Topology
Originally published: Juni 1966 (UvA).
HDS-02:
Frank Veltman Logics for Conditionals
Originally published: October 1985 (UvA).
HDS-01:
Wim Blok Varieties of Interior Algebras
Originally published: November 1976 (UvA).