Canonical equational proofs
Material type:
TextLanguage: English Series: Progress in theoretical computer sciencePublication details: Boston Birkhauser 1991Description: x,135pSubject(s): DDC classification: - 511.33 B124
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.33 B124 (Browse shelf(Opens below)) | Available | 113353 | |||
| Books | ISI Library, Kolkata NBHM Collection | 511.33 B124 (Browse shelf(Opens below)) | Available | 116265 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: NBHM Collection Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| 511.324 K72 Sheaves of algebras over boolean spaces | 511.324 M745 Cardinal functions on Boolean algebras | 511.324 V865 Boolean algebras in analysis | 511.33 B124 Canonical equational proofs | 511.33 G773 General lattice theory | 511.33 G773 Lattice theory | 511.33 R758 Lattices and ordered sets |
There are no comments on this title.
Log in to your account to post a comment.
