Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá / edited by Xavier Caicedo, Carlos H. Montenegro.
Material type:
TextLanguage: English Publication details: New York : Marcel Dekker, 1999Description: xiii, 448 p. ; 26 cmISBN: 0824719700 Subject(s): Logic, Symbolic and mathematical | Algebras and ProofsDDC classification: 511.3 CAI M
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Mysore University Main Library | 511.3 CAI M (Browse shelf (Opens below)) | Available | 416767 |
Browsing Mysore University Main Library shelves, Shelving location: Mathematics Close shelf browser (Hides shelf browser)
| 511.3 ARI Mathematical logic for computer science / | 511.3 ARI Mathematical logic for computer science / | 511.3 BEN Mathematical logic for computer science / | 511.3 CAI M Models, algebras, and proofs : | 511.3 DOL Discrete mathematics 1 | 511.3 DOL Discrete mathematics 2 | 511.3 ECC An introduction to mathematical reasoning : |
There are no comments on this title.