Categories, Allegories Peter J Freyd
Material type:
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
Bangalore University Library DL | 511.3 FRE S (Browse shelf (Opens below)) | Available | 262695 |
Browsing Bangalore University Library shelves, Shelving location: DL Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
511.3 CAR Symbolic Logic | 511.3 DRA R Logic Colloquium 86 | 511.3 DUN E Modern Uses of Multiple-Valued Logic | 511.3 FRE S Categories, Allegories | 511.3 GAL Logic for Computer Science: Foundations of Automatic Theorem Proving | 511.3 GOL Topoi: the Categorial Analysis of Logic | 511.3 HIN Principles of Mathematics Revisited |
There are no comments on this title.