Mathematical reasoning with diagrams: From intuition to automation
By: Jamnik, M. J.
Material type: BookSeries: CSLI lecture notes; no. 127.Publisher: Stanford CSLI Publications 2001Description: xii, 204p.ISBN: 1-57586-323-5.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
511.3 JAM (Browse shelf) | Available | 505169 |
Browsing International Institute of Information Technology Bangalore Shelves Close shelf browser
511.3 GIL Logicism renewed: Logical foundations for mathematics and computer science | 511.3 HIN Fundamentals of mathematical logic | 511.3 HOF Godel, Escher, Bach: An eternal golden braid | 511.3 JAM Mathematical reasoning with diagrams: From intuition to automation | 511.3 JOH Notes on logic and set theory | 511.3 JOH Notes on logic and set theory | 511.3 KOZ Automata and computability |
There are no comments for this item.