One Hundred Years of Intuitionism (1907–2007) [electronic resource] : The Cerisy Conference / edited by Mark Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann.
Material type: Computer fileSeries: Publications des Archives Henri Poincaré / Publications of the Henri Poincaré ArchivesPublication details: Basel : Birkhäuser Basel, 2008.Edition: 1a edDescription: v.: digitalISBN:- 9783764386535
- QA9.47 A88 2008
Item type | Current library | Call number | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Digital Colección Digital | QA9.47 A88 2008 (Browse shelf(Opens below)) | BDIG00008511 | Link to resource | 1 | Available | SpringerLink | BDIG00008511 |
Browsing Biblioteca Digital shelves, Shelving location: Colección Digital Close shelf browser (Hides shelf browser)
QA9 S75 2008 A Course on Mathematical Logic | QA9.4 A38 2007 Algebraic and Proof-theoretic Aspects of Non-classical Logics | QA9.45 L38 2006 Function Algebras on Finite Sets | QA9.47 A88 2008 One Hundred Years of Intuitionism (1907–2007) | QA9.47 C37 2006 Intuition and the Axiomatic Method | QA9.54 K64 2008 Applied Proof Theory: Proof Interpretations and Their Use in Mathematics | QA9.56 O35 2008 Constructive Negations and Paraconsistency |
There are no comments on this title.
Log in to your account to post a comment.