en anglais

Gerhard Heinzmann, Giuseppina Ronzitti - Foreword

Herman Ruge Jervell - Constructing Ordinals

Wim Veldman - Brouwer 's Real Thesis on Bars

Hajime Ishihara - Reverse Mathematics in Bishop 's Constructive Mathematics

Bianca Boretti, Sara Negri - Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics

Charles McCarty - At the Heart of Analysis: Intuitionism and Philosophy

Colin McLarty - Two Constructivist Aspects of Category Theory

Aarne Ranta - Type Theory and Universal Grammar

NB : Les prix indiqués sont sujets à changements sans préavis.