Metamathematics of first-order arithmetic
Material type: TextLanguage: English Publication details: Cambridge University Press c2016 Edition: Description: xiv, 460pISBN: 9781107168411 (HB)Subject(s): Arithmetic – Foundations | Logic | Computer scienceDDC classification: 513.01 HAJ(MET)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 513.01 HAJ(MET) (Browse shelf(Opens below)) | 1 | Available | 25254 |
Total holds: 0
inv no.SAR/331/2017; dt.30-08-2017
There are no comments on this title.