登入選單
返回Google圖書搜尋
其他書名
Case-Intensional First Order Logic ; (II) Branching Histories
出版Bibliothek der Universität Konstanz, 2014
URLhttp://books.google.com.hk/books?id=q_dTuwEACAAJ&hl=&source=gbs_api