Philosophia Scientiae, cahier spécial 06
|
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.