Logicism, intuitionism and formalism : what has become of them?
Contributor(s): Lindstrom, Sten, ed.
Material type: BookSeries: Syntheses Library. edited By Vincent F. Hendricks.Publisher: Sweden Springer 2009Description: xii, 512p.ISBN: 9781402089251.Subject(s): LogicismDDC classification: 510.1 | L829Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | General Stacks | 510.1 L829 (Browse shelf) | Available | A167404 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: General Stacks Close shelf browser
510.1 K842p THE PHILOSOPHY OF MATHEMATICS | 510.1 L528i INTRODUCTION TO THE PHILOSOPHY OF MATHEMATICS | 510.1 L62h HUMAN VALUES AND SCIENCE, ART AND MATHEMATICS | 510.1 L829 Logicism, intuitionism and formalism | 510.1 M 56w2E EVOLUATION OF MATHEMATICAL THOUGHT | 510.1 M312a The adventure of reason | 510.1 M32i To infinity and beyond |
There are no comments for this item.