Image from Amazon.com
Logic colloquium, 2005 : Proceedings of the annual European summer meeting of the Association for Symbolic Logic / Ed. by Dimitracopoulos, Costas et al
Material type:
TextSeries: Lecture notes in logic ; 28Publication details: Cambridge Cambridge Uni Pr 2008Description: xiii, 272pISBN: - 9780521884259
- 511.3 DIM 20
| Item type | Current library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
Books
|
IGIDR | 511.3 DIM (Browse shelf(Opens below)) | Available | 34778 |
Browsing IGIDR shelves Close shelf browser (Hides shelf browser)
|
No cover image available |
|
|
|
|
|
||
| 510.954 MUR A Modern introduction to ancient Indian mathematics / | 511.3/BLU Complexity and real computation | 511.3/CHU Introduction to mathematical logic | 511.3 DIM Logic colloquium, 2005 : | 511.3/END A mathematical introduction to logic | 511.3/HAL Logic as algebra | 511.3 KEN Interpreting Godel : |
