Logical foundations of mathematics and computational complexity : a gentle introduction
By: Pudlak, Pavel.
Material type:
BookSeries: Springer Monographs In Mathematics. Publisher: Cham Springer 2013Description: xiv, 695p.ISBN: 9783319001180.Subject(s): Logic, Symbolic and mathematical | Computational complexity | Mathematics | Computer softwareDDC classification: 511.3 | P962l
| Item type | Current location | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 511.3 P962l (Browse shelf) | Available | A179448 |
Total holds: 0
There are no comments for this item.