Temporal logic : mathematical foundations and computational aspects. Vol. 2
Finna rating
Temporal logic : mathematical foundations and computational aspects. Vol. 2
Saved in:
| Physical Description |
xiii, 597 sivua |
|---|---|
| Language |
English |
| Language of Original Work |
English |
| Item Description |
Lisäpainokset: Repr. 2003. |
| Publisher |
Oxford :
Clarendon Press,
2000.
|
| Series | Oxford logic guides, 40. |
| Subjects | |
| Additional Information | Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger |
| ISBN |
0-19-853768-9 kovakantinen |
| Standard Codes |
(FI-MELINDA)002317567 20230923195603.0 |