Kant and real numbers

Mark Van Atten

3-23

Wittgenstein's diagonal argument

a variation on Cantor and Turing

Juliet Floyd

25-44

Truth and proof in intuitionism

Dag Prawitz

45-67

Real and ideal in constructive mathematics

Giovanni Sambin

69-85

In the shadow of incompleteness

Hilbert and Gentzen

Wilfried Sieg

87-127

Evolution and logic

Jan M. Smith

129-138

The "middle Wittgenstein" and modern mathematics

Soren Stenlund

139-159

Primitive recursive arithmetic and its role in the foundations of arithmetic

historical and philosophical reflections

William W. Tait

161-180

Type theory and homotopy

Steve Awodey

183-201

A computational interpretation of forcing in type theory

Thierry Coquand, Guilhem Jaber

203-213

Program testing and the meaning explanations of intuitionistic type theory

Peter Dybjer

215-241

Normativity in logic

Jean-Yves Girard

243-263

Constructivist versus structuralist foundations

Erik Palmgren

265-279

Machine translation and type theory

Aarne Ranta

281-311

Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions

Michael Rathjen

313-349

Coalgebras as types determined by their elimination rules

Anton Setzer

351-369

Second order logic, set theory and foundations of mathematics

Jouko Väänänen

371-380