✦ LIBER ✦
Book Review:Dynamic Logic. By D. Harel, D. Kozen, and J. Tiuren. MIT Press, Cambridge, MA 2000. xv + 459 pp. ISBN 0-262-08289-6
✍ Scribed by Robert A. M. Gregson
- Book ID
- 110310002
- Publisher
- Springer
- Year
- 2002
- Tongue
- English
- Weight
- 29 KB
- Volume
- 6
- Category
- Article
- ISSN
- 1573-6652
No coin nor oath required. For personal study only.