Another look at Brouwer's dissertation

Dirk van Dalen

3-20

Brouwerian infinity

Carl J. Posy

21-36

The new intuitionism

Charles McCarty

37-49

Truth and experience of truth

Jacques Dubucs

50-59

The proper explanation of intuitionistic logic

on Brouwer's demonstration of the Bar theorem

Göran Sundholm, Mark Van Atten

60-77

The intersection of intuitionism (Brouwer) and phenomenology (Husserl)

Richard Tieszen

78-95

Brouwer on "hypotheses' and the middle Wittgenstein

Mathieu Marion

96-114

Brouwer's notion of intuition and theory of knowledge by presence

Mohammad Ardeshir

115-130

Buddhist models of the mind and the common core thesis on mysticism

Hank Barendregt

131-145

Remarks on the supposed French' semi-' or "pre-intuitionism'

Alain Michel

149-162

Poincaré

intuitionism, intuition, and convention

Gerhard Heinzmann, Philippe Nebonnand

163-177

Some of Julius König's mathematical dreams in his new foundations of logic, arithmetic, and set theory

Marcel Guillaume

178-197

Gödel, constructivity, impredicativity, and feasibility

Jean Fichot

198-213

Lorenzen's operative justification of intuitionistic logic

Peter Schroeder-Heister

214-240

The Hilbert-Brouwer controversy resolved?

Per Martin-Löf

243-256

Proof theory and Martin-Löf type theory

Anton Setzer

257-279

Some remarks on linear logic

Mitsuhiro Okada

280-300

Two applications of dynamic constructivism

Brouwer's continuity principle and choice sequences in formal topology

Giovanni Sambin

301-315

A Reverse look at Brouwer's fan theorem

Douglas Bridges

316-325

Some applications of Brouwer's thesis on bars

Wim Veldman

326-340

Concluding remarks at the Cerisy conference

Michael Dummett

341-342

A bibliography of L.E.J. Brouwer

Dirk van Dalen

343-390