One Hundred Years of Intuitionism (1907–2007)
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Birkhäuser Basel

9783764386528, 9783764386535

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Truth and experience of truth

One Hundred Years of Intuitionism (1907–2007) ◽

10.1007/978-3-7643-8653-5_4 ◽

2008 ◽

pp. 50-59 ◽

Author(s):

Jacques Dubucs

Download Full-text

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

One Hundred Years of Intuitionism (1907–2007) ◽

10.1007/978-3-7643-8653-5_6 ◽

2008 ◽

pp. 78-95 ◽

Author(s):

Richard Tieszen

Download Full-text

Some remarks on linear logic

One Hundred Years of Intuitionism (1907–2007) ◽

10.1007/978-3-7643-8653-5_17 ◽

2008 ◽

pp. 280-300 ◽

Author(s):

Mitsuhiro Okada

Keyword(s):

Download Full-text

The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem

One Hundred Years of Intuitionism (1907–2007) ◽

10.1007/978-3-7643-8653-5_5 ◽

2008 ◽

pp. 60-77 ◽

Author(s):

Göran Sundholm ◽

Mark van Atten

Keyword(s):

Intuitionistic Logic

Download Full-text

Poincaré: intuitionism, intuition, and convention

One Hundred Years of Intuitionism (1907–2007) ◽

10.1007/978-3-7643-8653-5_11 ◽

2008 ◽

pp. 163-177 ◽

Author(s):

Gerhard Heinzmann ◽

Philippe Nebonnand

Download Full-text

The new intuitionism

One Hundred Years of Intuitionism (1907–2007) ◽

10.1007/978-3-7643-8653-5_3 ◽

2008 ◽

pp. 37-49 ◽

Author(s):

Charles McCarty

Download Full-text

Gödel, constructivity, impredicativity, and feasibility

One Hundred Years of Intuitionism (1907–2007) ◽

10.1007/978-3-7643-8653-5_13 ◽

2008 ◽

pp. 198-213

Author(s):

Jean Fichot

Download Full-text

Brouwer on ‘hypotheses’ and the middle Wittgenstein

One Hundred Years of Intuitionism (1907–2007) ◽

10.1007/978-3-7643-8653-5_7 ◽

2008 ◽

pp. 96-114 ◽

Author(s):

Mathieu Marion

Download Full-text

Proof theory and Martin-Löf Type Theory

One Hundred Years of Intuitionism (1907–2007) ◽

10.1007/978-3-7643-8653-5_16 ◽

2008 ◽

pp. 257-279

Author(s):

Anton Setzer

Keyword(s):

Type Theory ◽

Download Full-text

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

One Hundred Years of Intuitionism (1907–2007) ◽

10.1007/978-3-7643-8653-5_9 ◽

2008 ◽

pp. 131-145

Author(s):

Hank Barendregt

Keyword(s):

Common Core ◽

Download Full-text