Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | 511.33 POL (Browse shelf) | Available | 003782 |
511.33 GAN Formal concept analysis : mathematical foundations | 511.33 GRA General lattice theory | 511.33 PAD Axioms for lattices and boolean algebras | 511.33 POL Ordinary Differential Equations | 511.33 TIT Theory of functions | 511.34 GRA Finite model theory and its applications | 511.35 BAR Lambda calculus with types |
There are no comments for this item.