Set theory for computing : from decision procedures to declarative programming with sets
Material type: TextLanguage: English Series: Monographs in computer sciencePublication details: Springer – verlag 2001 Description: xviii, 409pISBN: 0387951970 (HB)Subject(s): Set theory | Computable functionsDDC classification: 511.322 CAN(SET)Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | Central Library | 511.322 CAN(SET) (Browse shelf(Opens below)) | 1 | Available | 27857 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
511.32 SRI(COU) A course on Borel sets | 511.322 AND(COM) Combinatorics of finite sets | 511.322 CAM(SET) Sets, logic, and categories | 511.322 CAN(SET) Set theory for computing : from decision procedures to declarative programming with sets | 511.322 CIE(SET) Set theory for the working mathematician | 511.322 DAS(SET) Set theory : with an introduction to real point sets | 511.322 DEV(JOY) The joy of sets : fundamentals of contemporary set theory |
There are no comments on this title.