Dynamic logic [electronic resource]
| Main Authors: | , , |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass
MIT Press
2000
|
| Series: | Foundations of computing
|
| Subjects: | |
| Online Access: | An electronic book accessible through the World Wide Web; click for information |
Internet
An electronic book accessible through the World Wide Web; click for informationBadak Internet Collection
| Call Number: |
QA76 9 L63 H37 2000 |
|---|
| Accession | Item Category | Format | Status | Notes |
|---|
| 1000125154 | OPEN SHELF (30 DAYS) | Electronic Resource | Available |