Constructivism in Mathematics: An introduction-V-1
By: Troelstra, A. S.
Material type: BookSeries: Studies in logic and the foundations of mathematics; v 121.Publisher: Amsterdam Elsevier 2004Description: xx, 342p.ISBN: 0-444-70266-0.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
511.3 TRO (Ref.) (Browse shelf) | Available | 503402 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
511.3 SMI An introduction to Godel's theorems. 2nd. Edition. | 511.3 SMU Logical labyrinths | 511.3 SUN Formal languages and automata theory | 511.3 TRO (Ref.) Constructivism in Mathematics: An introduction-V-1 | 511.3 VAA Dependence logic:A new approach to independence friendly logic | 511.3 VEL How to prove it: A structured approach. 2nd. Edition. | 511.3 WHI (Ref.) Principia mathematica v - 1 |
There are no comments for this item.