Computational Logic and Set Theory: applying formalized logic to analysis
Material type: TextLanguage: English Series: Publication details: Springer 2011 Edition: Description: xvii, 416pISBN: 9780857298072 (HB)Subject(s): Computational Logic | Set theoryDDC classification: 004.0151 SCH(COM)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 004.0151 SCH(COM) (Browse shelf(Opens below)) | 1 | Available | 17870 |
Total holds: 0
bill No. SAR/88/2011 dt.17.09.2011
There are no comments on this title.