✦ LIBER ✦
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger
✍ Scribed by Ullrich Hustadt
- Book ID
- 110298561
- Publisher
- Springer Netherlands
- Year
- 2001
- Tongue
- English
- Weight
- 45 KB
- Volume
- 10
- Category
- Article
- ISSN
- 0925-8531
No coin nor oath required. For personal study only.