| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q3118402 | 2012-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499084 | 2000-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4495851 | 2000-08-13 | Paper |
| In Memoriam: Albert G. Dragalin 1941–1998 | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940720 | 2000-02-28 | Paper |
| Marginalia on sequent claculi | 1999-11-08 | Paper |
| Concepts and Axioms | 1999-05-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4215635 | 1999-04-27 | Paper |
| From constructivism to computer science | 1999-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3127443 | 1997-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4716271 | 1996-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4865640 | 1996-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4856911 | 1996-01-16 | Paper |
| Natural deduction for intuitionistic linear logic | 1995-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202959 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694207 | 1993-06-29 | Paper |
| Constructivism in mathematics. An introduction. Volume I | 1992-09-17 | Paper |
| Constructivism in mathematics. An introduction. Volume II | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5202655 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5202656 | 1988-01-01 | Paper |
| On the syntax of Martin-Löf's type theories | 1987-01-01 | Paper |
| Strong normalization for typed terms with surjective pairing | 1986-01-01 | Paper |
| Realizability and intuitionistic logic | 1984-01-01 | Paper |
| Analysing choice sequences | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3313859 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3671972 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3956933 | 1982-01-01 | Paper |
| On a second order propositional operator in intuitionistic logic | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3895419 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898455 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3869344 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3887457 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3885754 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190633 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4170717 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3880812 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4126323 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133953 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4145690 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4152216 | 1977-01-01 | Paper |
| Some models for intuitionistic finite type arithmetic with fan functional | 1977-01-01 | Paper |
| Non-extensional equality | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4088791 | 1975-01-01 | Paper |
| Note on the fan theorem | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4085703 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4085704 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4085705 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4087147 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5183475 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5633977 | 1971-01-01 | Paper |
| An addendum | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5604441 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5607210 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5611759 | 1970-01-01 | Paper |
| Formal systems for some branches of intuitionistic analysis | 1970-01-01 | Paper |
| Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY | 1969-01-01 | Paper |
| Informal theory of choice sequences | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5582307 | 1969-01-01 | Paper |
| One-point compactifications of intuitionistic locally compact spaces | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537594 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5549029 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5570913 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5577058 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5532531 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5546767 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551421 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5509710 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5518356 | 1965-01-01 | Paper |
