CS 6 | 2006
Constructivism: Mathematics, Logic, Philosophy and Linguistics
Sous la direction de Gerhard Heinzmann et Giuseppina Ronzitti
-
Foreword [Texte intégral]
-
Constructing Ordinals [Texte intégral]
-
Brouwer’s Real Thesis on Bars [Texte intégral]
-
Reverse Mathematics in Bishop’s Constructive Mathematics [Texte intégral]
-
At the Heart of Analysis: Intuitionism and Philosophy [Texte intégral]
-
Two Constructivist Aspects of Category Theory [Texte intégral]
-
Type Theory and Universal Grammar [Texte intégral]