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