Logic from computer science: Proceedings of a workshop held Nov. 13-17, 1989
Publication details: New York Springer-Verlag 1992Edition: Description: xi, 608pISBN:- ISBN:
- 510.6:681.31
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
University Library | 510.6:681.31 MOS (Browse shelf(Opens below)) | Available | 00041415 |
Browsing University Library shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 510.647 KLE Causality, probability and time | 510.66.096 COM.1 Chambers six figure mathematical tables | 510.6:681.31 CAF Logic for computer science and artificial intelligence | 510.6:681.31 MOS Logic from computer science: Proceedings of a workshop held Nov. 13-17, 1989 | 510.6:681.31 SIN Logics for computer science | 510.67 ADD Proceedings: The theory of maodels | 510.67 CHO E-recursion, forcing and C*-algebras |
There are no comments on this title.