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-41:
-
David van Dantzig
Studien over Topologische Algebra
Originally published March 1931
- HDS-40:
-
Karel Louis de Bouvère
A Method in Proofs of Undefinability
Originally published: May 1959
- HDS-39:
-
Michiel Smid
Dynamic Data Structures on Multiple Storage Media
Originally published: November 1989.
- HDS-38:
-
Lou van den Dries
Model Theory of Fields: Decidability and Bounds for Polynomial Ideals
Originally published: June 1978.
- HDS-37:
-
Henk Barendregt
Some extensional term models for combinatory logics and Lambda-Calculi
Originally published: June 1971.1.Abstract, 2.Samenvatting, 3.Addenda, 4.Extended version (Amazon, 2020), 5.Full Text (DJVU), 6.Full Text (PDF), 7.Errata.
- HDS-36:
-
Leen Torenvliet
Structured Concepts in Relativised Hierarchies
Originally published: September 1986
- HDS-35:
-
Robert van Rooy
Attitudes and Changing Contexts
Originally published: November 1997
- HDS-34:
-
Verkuyl Henk
On the Compositional Nature of the Aspects
Originally published: July 1971
- HDS-33:
-
Jan Willem Klop
Combinatory Reduction Systems
Originally published: June 1980.
- HDS-32:
-
Jeroen Groenendijk and Martin Stokhof
Studies on the Semantics of Questions and the Pragmatics of Answers
Originally published: November 1984.
- HDS-31:
-
Erik C.W. Krabbe
Studies in Dialogical Logic
Originally published: June 1982.
- HDS-30:
-
Roel de Vrijer
Surjective pairing and strong normalization: two themes in lambda calculus
Originally published: January 1987.
- HDS-29:
-
Gerrit Frans van der Hoeven
Projections of Lawless Sequences
Originally published: February 1982.
- HDS-28:
-
Ingemarie Bethke
Notes on Partial Combinatory Algebras
Originally published: June 1988.
- HDS-27:
-
E.W. Beth
Rede en Aanschouwing in de Wiskunde
Originally published: November 1935.
- HDS-26:
-
Jaap van Oosten
Exercises in Realizability
Originally published: March 1991.
- HDS-25:
-
Jan Johann Albinn Mooij
La Philosophie des Mathematiques de Henri Poincaré
Originally published: June 1966.
- HDS-24:
-
Wim Veldman
Investigations in Intuitionistic Hierarchy Theory
Originally published: May 1981.
- HDS-23:
-
Hendrik de Vries
Compact Spaces and Compactification: An Algebraic Approach
Originally published: June 1962.
- HDS-22:
-
Albert Visser
Aspects of Diagonalization & Provability
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).1.Full Text, 2.Preamble, 3.Chapter1, 4.Chapter2, 5.Chapter3, 6.Chapter4, 7.Chapter5, 8.References, 9.Appendices.
- 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).