Temporal logic : mathematical foundations and computational aspects. Volume 1
Finna-arvio
Temporal logic : mathematical foundations and computational aspects. Volume 1
Tallennettuna:
| Ulkoasu |
653 sivua |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Oxford :
Clarendon Press,
1994.
|
| Sarja | Oxford logic guides, 28. |
| Luokitus | |
| Lisätiedot | Dov M. Gabbay, Ian Hodkinson and Mark Reynolds |
| ISBN |
0-19-853769-7 |