Publication | Date of Publication | Type |
---|
L. E. J. Brouwer: Intuitionism | 2020-04-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4583932 | 2018-08-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q2988068 | 2017-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q2818536 | 2016-09-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q2990023 | 2016-07-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q5170700 | 2014-07-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q3144735 | 2012-12-08 | Paper |
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher | 2012-12-04 | Paper |
Logic and structure | 2012-09-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q2889414 | 2012-06-07 | Paper |
The selected correspondence of L. E. J. Brouwer. | 2011-08-01 | Paper |
Brouwer's \(\epsilon\)-fixed point and Sperner's lemma | 2011-07-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q3567813 | 2010-06-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q3404009 | 2010-02-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q3507173 | 2008-06-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q5310895 | 2007-10-15 | Paper |
The birth and youth of Compositio Mathematica: ‘Ce périodique foncièrement international’ | 2006-10-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q5489874 | 2006-10-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q3024339 | 2005-07-01 | Paper |
Recent progress on quasi-periodic lattice Schrödinger operators and Hamiltonian PDEs | 2004-12-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4817198 | 2004-09-22 | Paper |
Ishihara's proof technique in constructive analysis | 2004-06-15 | Paper |
Logic and structure | 2004-03-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q4418814 | 2003-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4413917 | 2003-07-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4793430 | 2003-06-21 | Paper |
Brouwer and Weyl: The Phenomenology and Mathematics of the Intuitive Continuumt† | 2003-03-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4789461 | 2003-01-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4532197 | 2003-01-07 | Paper |
Arguments for the Continuity Principle | 2002-12-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q2776064 | 2002-10-07 | Paper |
Zermelo and the Skolem Paradox | 2002-01-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q2702580 | 2001-08-21 | Paper |
Brouwer and Fraenkel on Intuitionism | 2001-07-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4946204 | 2000-11-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4936121 | 2000-01-24 | Paper |
From Brouwerian counter examples to the creating subject | 1999-10-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4250034 | 1999-08-04 | Paper |
From a Brouwerian Point of View | 1999-05-24 | Paper |
https://portal.mardi4nfdi.de/entity/Q4231666 | 1999-03-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4222825 | 1998-12-13 | Paper |
How connected is the intuitionistic continuum? | 1998-09-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4342082 | 1997-07-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q4342092 | 1997-07-08 | Paper |
Hermann Weyl's Intuitionistic Mathematics | 1997-03-17 | Paper |
`Outside' as a primitive notion in constructive projective geometry | 1996-09-29 | Paper |
Logic and structure. | 1994-11-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4295658 | 1994-10-05 | Paper |
https://portal.mardi4nfdi.de/entity/Q4694208 | 1993-06-29 | Paper |
Logic and structure. | 1993-06-05 | Paper |
The continuum and first-order intuitionistic logic | 1993-04-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4006642 | 1992-09-26 | Paper |
Constructivism in mathematics. An introduction. Volume I | 1992-09-17 | Paper |
Constructivism in mathematics. An introduction. Volume II | 1992-09-17 | Paper |
The war of the frogs and the mice, or the crisis of the Mathematische Annalen | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3822428 | 1988-01-01 | Paper |
Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis | 1988-01-01 | Paper |
Glueing of analysis models in an intuitionistic setting | 1986-01-01 | Paper |
Eine Bemerkung zum Aufsatz „Der Fundamentalsatz der Algebra und der Intuitionismus“ von H. Kneser | 1985-01-01 | Paper |
How to glue analysis models | 1984-01-01 | Paper |
Braucht die konstruktive Mathematik Grundlagen? | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3666844 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3674652 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3956934 | 1982-01-01 | Paper |
Logic and structure | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3048829 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3208649 | 1979-01-01 | Paper |
An interpretation of intuitionistic analysis | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4193455 | 1978-01-01 | Paper |
The use of Kripke's schema as a reduction principle | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4128571 | 1975-01-01 | Paper |
Variants of Rescher's semantics for preference logic and some completeness theorems | 1974-01-01 | Paper |
A model for HAS. A topological interpretation of the theory of species of natural numbers | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3214887 | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5680085 | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5181308 | 1972-01-01 | Paper |
A note on some systems of lindenmayer | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5636859 | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5604441 | 1970-01-01 | Paper |
Reductibilities in intuitionistic topology | 1968-01-01 | Paper |
Fans Generated by Nondeterministic Automata | 1968-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5565081 | 1968-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5332628 | 1963-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5342316 | 1963-01-01 | Paper |