Metamathematics of first-order arithmetic / Petr Hájek, Pavel Pudlák.
By: Hájek, Petr [author.].
Contributor(s): Pudlák, Pavel [author.].
Material type:
TextSeries: Perspectives in logic ; 3.Publisher: Cambridge : Cambridge University Press, [2016]Description: xiv, 460 pages : UKP 120.00 illustrations (black and white) ; 25 cm.Content type: text | still image Media type: unmediated Carrier type: volumeISBN: 9781107168411.Subject(s): Metamathematics | ArithmeticDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Book | Chennai Mathematical Institute General Stacks | 511.3 HAJ (Browse shelf) | Available | 10408 |
Total holds: 0
Formerly CIP. Uk