• 题名: Language in Action Categories, Lambdas and Dynamic Logic
    作者: Johan van Benthem
    索书号: http://www.sciencedirect.com/science/book/9780444890009
在架

测试图片