• 题名: Advances in Temporal Logic
    作者: Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-90-481-5389-3
在架

测试图片