Set Theory for Computing: from decision procedures to declarative programming with sets /
Material type: TextPublication details: New York: Springer, 2001Description: xiv,409pSubject(s): Set Theory | Computable functionsDDC classification: 511.322Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
BK | Kannur University Central Library | 511.322 SE (Browse shelf (Opens below)) | Available | 14974 |
There are no comments on this title.