ILLC Publications, 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.
1.Full Text (DJVU), 2.Full Text (PDF), 3.Abstract.
HDS-23:
Hendrik de Vries Compact Spaces and Compactification: An Algebraic Approach. For ordering, please contact the ILLC Buro.
Originally published: June 1962.
1.Full Text (PDF), 2.Full Text (DJVU), 3.Abstract, 4.Samenvatting.
HDS-22:
Albert Visser Aspects of Diagonalization \& Provability. For ordering, please contact the ILLC Buro.
Originally published: November 1981.
1.Full Text (PDF), 2.Full Text (DJVU), 3.Abstract, 4.Samenvatting.
HDS-21:
Gerard R. Renardel de Lavalette Theories with type-free application and extended bar induction.
Originally published: February 1985.
1.Full Text (PDF), 2.Full Text (DJVU), 3.Samenvatting.
HDS-20:
L.E.J. Brouwer Over de grondslagen der wiskunde.
Originally published: February 1907.
1.Full Text (DJVU), 2.Full Text (PDF).
HDS-19:
Kees Doets Completeness and Definability.
Originally published: May 1987.
1.Full Text (DJVU), 2.Full Text (PDF), 3.Abstract.
HDS-18:
Ieke Moerdijk Topics in Intuitionism and Topos Theory.
Originally published: November 1985.
1.Full Text (PDF), 2.Full Text (DJVU).
HDS-17:
Victor Sanchez Studies on Natural Logic and Categorial Grammar.
Originally published: January 1991.
1.Full Text (PDF), 2.Full Text (DJVU).
HDS-16:
Piet Rodenburg Intuitionistic Correspondence Theory.
Originally published: November 1986.
1.Full Text (PDF), 2.Full Text (DJVU), 3.Samenvatting, 4.Errata.
HDS-15:
Dirk van Dalen Extension Problems in Intuitionistic Plane Projective Geometry.
Originally published: Mei 1963 (UvA).
1.Full Text (PDF), 2.Full Text (DJVU), 3.Samenvatting.
HDS-14:
Edith Spaan Complexity of Modal Logics.
Originally published: Maart 1993 (UvA).
1.Full Text, 2.Abstract.
HDS-13:
Daniel Leivant Absoluteness of Intuitionistic Logic.
Originally published: November 1979 (UvA).
1.Full Text, 2.Abstract.
HDS-12:
Arend Heyting Intuitionistische Axiomatiek der Projectieve Meetkunde.
Originally published: May 1925 (UvA).
1.Full Text, 2.Preamble, 3.Chapter1, 4.Chapter2, 5.Chapter3, 6.Chapter4, 7.Stellingen.
HDS-11:
Peter van Emde Boas Abstract Resource-Bound Classes.
Originally published: September 1974 (UvA).
1.Full Text (DJVU), 2.Full Text (PDF).
HDS-10:
Theo Janssen Foundations and applications of Montague grammar.
Originally published: April 1983 (UvA).
1.Full Text, 2.Preamble, 3.Chapter1, 4.Chapter2, 5.Chapter3, 6.Chapter4, 7.Chapter5, 8.Chapter6, 9.Chapter7, 10.Chapter8, 11.Chapter9, 12.Chapter10, 13.References, 14.Appendices, 15.Screen-resolution.
HDS-09:
Paul Vitányi Lindenmayer Systems: Structure, Languages, and Growth Functions.
Originally published: April 1978 (VU Amsterdam).
1.Full Text, 2.Preamble, 3.Chapter1, 4.Chapter2, 5.Chapter3, 6.Chapter4, 7.Chapter5, 8.Chapter6, 9.Appendices, 10.Stellingen, 11.Screen-resolution.
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).
1.Full Text, 2.Samenvatting, 3.Preamble, 4.Chapter1, 5.Chapter2, 6.Chapter3, 7.Chapter4, 8.Chapter5, 9.Chapter6, 10.Chapter7, 11.References, 12.Appendices, 13.Stellingen, 14.Screen-resolution.
HDS-06:
Johan van Benthem Modal Correspondence Theory.
Originally published: February 1977 (Amsterdam).
1.Full Text (DJVU), 2.Full Text (PDF), 3.Abstract, 4.Samenvatting.
HDS-05:
Dick de Jongh Investigations on the Intuitionistic Propositional Calculus.
Originally published: August 1968 (Wisconsin).
1.Full Text (DJVU), 2.Full Text (PDF), 3.Abstract.
HDS-04:
Yde Venema Many-Dimensional Modal Logic.
Originally published: Januari 1992 (UvA).
1.Full Text (DJVU), 2.Full Text (PDF), 3.Samenvatting.
HDS-03:
Anne Troelstra Intuitionistic General Topology.
Originally published: Juni 1966 (UvA).
1.Full Text (PDF), 2.Full Text (DJVU), 3.Samenvatting.
HDS-02:
Frank Veltman Logics for Conditionals.
Originally published: October 1985 (UvA).
1.Full Text (PDF), 2.Full Text (DJVU), 3.Samenvatting.
HDS-01:
Wim Blok Varieties of Interior Algebras.
Originally published: November 1976 (UvA).
1.Full Text (DJVU), 2.Full Text (PDF), 3.Obituary.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X