Logic Colloquium 86 edited by F R Drake and J K Truss
Material type:
TextLanguage: ENG Series: Studies in Logic and the Foundations of Mathematics ; v 124Publication details: Amsterdam North-Holland Publishing Company 1988Edition: Description: ix,342pISBN: 0 444 70326 8Subject(s): MathematicsDDC classification: 511.3
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Bangalore University Library DL | 511.3 DRA R (Browse shelf (Opens below)) | Available | 257012 |
Browsing Bangalore University Library shelves, Shelving location: DL Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 511.2 FUJ Basic Skills in Mathematics | 511.2 GOO Fundamental Concepts of Mathematics | 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 |
There are no comments on this title.