Constructivism : Mathematics, Logic, Philosophy and Linguistics

Availability: In stock

Prix : 17.00

Quantity :
Catégorie :
Produit Auteur :
Produit ISBN :
Produit Année :
Produit Nombre de pages :

Prix : 17.00


Editors : Gerhard Heinzmann and Giuseppina Ronzitti

Gerhard Heinzmann : Foreword
Giuseppina Ronzitti
Herman Ruge Jervell : Constructing Ordinals
Wim Veldman : Brouwer’s Real Thesis on Bars
Hajime Ishihara : Reverse Mathematics in Bishop’s Constructive Mathematics
Bianca Boretti : Equality in the Presence of Apartness:
Sara Negri : An Application of Structural Proof Analysis to 1ntuitionistic Axiomatics
Charles McCartv : At the Heart of Analysis: Intuitionism and Philosophy
Colin McLarty : Two Constructivist Aspects of Category Theory
Aarne Ranta : Type Theory and Universal Grammar