Logics of time and computation / Robert Goldblatt.
Material type: TextSeries: CSLI lecture notes ; no. 7Publisher: Stanford : Center for the Study of Language and Information, [1992]Copyright date: c1992Edition: Second edition, Revised and expandedDescription: ix, 180 pages : illustrations ; 24 cmContent type:- text
- unmediated
- volume
- 9780937073940
- 0937073946
- 511.3 GOL 22
Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Book - Borrowing | Central Library First floor | Baccah | 511.3 GOL (Browse shelf(Opens below)) | 23317 | Available | 000030924 | ||
Book - Borrowing | Central Library First floor | Baccah | 511.3 GOL (Browse shelf(Opens below)) | 23317 | Available | 000030925 |
Total holds: 0
Browsing Central Library shelves, Shelving location: First floor Close shelf browser (Hides shelf browser)
511.3 EXN An accompaniment to higher mathematics / | 511.3 GER Introduction to mathematical structures and proofs / | 511.3 GOD Introducing the theory of computation / | 511.3 GOL Logics of time and computation / | 511.3 GOL Logics of time and computation / | 511.3 KLI Fuzzy sets and fuzzy logic : theory and applications / | 511.3 LAW Finite automata / |
Includes bibliographical references and index.
There are no comments on this title.