| Publication | Date of Publication | Type |
|---|
History of constructivism in the 20th century
| 2012-03-02 | Paper |
scientific article; zbMATH DE number 1497485 (Why is no real title available?)
| 2000-08-28 | Paper |
scientific article; zbMATH DE number 1489627 (Why is no real title available?)
| 2000-08-13 | Paper |
In Memoriam: Albert G. Dragalin 1941–1998
The Bulletin of Symbolic Logic | 2000-06-07 | Paper |
scientific article; zbMATH DE number 1406804 (Why is no real title available?)
| 2000-02-28 | Paper |
Marginalia on sequent claculi
Studia Logica | 1999-11-08 | Paper |
Concepts and Axioms
Philosophia Mathematica | 1999-05-24 | Paper |
scientific article; zbMATH DE number 1215498 (Why is no real title available?)
| 1999-04-27 | Paper |
From constructivism to computer science
Theoretical Computer Science | 1999-01-12 | Paper |
scientific article; zbMATH DE number 997681 (Why is no real title available?)
| 1997-04-09 | Paper |
scientific article; zbMATH DE number 949290 (Why is no real title available?)
| 1996-11-25 | Paper |
scientific article; zbMATH DE number 845621 (Why is no real title available?)
| 1996-02-15 | Paper |
scientific article; zbMATH DE number 823486 (Why is no real title available?)
| 1996-01-16 | Paper |
Natural deduction for intuitionistic linear logic
Annals of Pure and Applied Logic | 1995-07-27 | Paper |
scientific article; zbMATH DE number 408814 (Why is no real title available?)
| 1993-09-06 | Paper |
scientific article; zbMATH DE number 218494 (Why is no real title available?)
| 1993-06-29 | Paper |
Constructivism in mathematics. An introduction. Volume I
Studies in Logic and the Foundations of Mathematics | 1992-09-17 | Paper |
Constructivism in mathematics. An introduction. Volume II
Studies in Logic and the Foundations of Mathematics | 1992-09-17 | Paper |
scientific article; zbMATH DE number 4195940 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4195939 (Why is no real title available?)
| 1988-01-01 | Paper |
On the syntax of Martin-Löf's type theories
Theoretical Computer Science | 1987-01-01 | Paper |
Strong normalization for typed terms with surjective pairing
Notre Dame Journal of Formal Logic | 1986-01-01 | Paper |
Realizability and intuitionistic logic
Synthese | 1984-01-01 | Paper |
Analysing choice sequences
Journal of Philosophical Logic | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3843744 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3825800 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3777482 (Why is no real title available?)
| 1982-01-01 | Paper |
On a second order propositional operator in intuitionistic logic
Studia Logica | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3706391 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3702578 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3693266 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3672291 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3691320 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3628946 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3604886 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3552491 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3573834 (Why is no real title available?)
| 1977-01-01 | Paper |
Some models for intuitionistic finite type arithmetic with fan functional
Journal of Symbolic Logic | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3685453 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3561317 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3583773 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3508465 (Why is no real title available?)
| 1975-01-01 | Paper |
Non-extensional equality
Fundamenta Mathematicae | 1975-01-01 | Paper |
Note on the fan theorem
Journal of Symbolic Logic | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3504947 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3504945 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3506649 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3504946 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3432235 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3360145 (Why is no real title available?)
| 1971-01-01 | Paper |
An addendum
Annals of Mathematical Logic | 1971-01-01 | Paper |
Formal systems for some branches of intuitionistic analysis
Annals of Mathematical Logic | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3334147 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3325546 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3328983 (Why is no real title available?)
| 1970-01-01 | Paper |
Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
Lecture Notes in Mathematics | 1969-01-01 | Paper |
Informal theory of choice sequences
Studia Logica | 1969-01-01 | Paper |
scientific article; zbMATH DE number 3300569 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3294550 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3263223 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3248787 (Why is no real title available?)
| 1968-01-01 | Paper |
One-point compactifications of intuitionistic locally compact spaces
Fundamenta Mathematicae | 1968-01-01 | Paper |
scientific article; zbMATH DE number 3287714 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3260753 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3264899 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3245445 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3222132 (Why is no real title available?)
| 1966-01-01 | Paper |
scientific article; zbMATH DE number 3230245 (Why is no real title available?)
| 1965-01-01 | Paper |
