DRSML
Library Management System
SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES
RECORD DETAIL
Back To Previous
Back To Previous
| Title | Understanding mathematical proof |
| Edition | |
| Call Number | 511.36 TAY |
| ISBN/ISSN | 978-1-4665-1490-4 |
| Author(s) | Taylor, John - Personal Name Garnier, Rowan - Personal Name |
| Subject(s) | Logic, Symbolic And Mathematical Proof Theory |
| Classification | 511.36 |
| Series Title | GMD | Text |
| Language | English |
| Publisher | CRC Press Taylor and Francis Group |
| Publishing Year | 2014 |
| Publishing Place | Boca Raton |
| Collation | xix, 394p |
| Abstract/Notes | |
| Specific Detail Info | |
| Image | |
| File Attachment | LOADING LIST... |
| Availability | LOADING LIST... |
| Back To Previous |
Select Language
Advanced Search
Developed By
Implemented by: Anees ur Rehman