登入選單
返回Google圖書搜尋
Resource Logics
Dirk Roorda
其他書名
Proof-theoretical Investigations
出版D. Roorda, 1991
URLhttp://books.google.com.hk/books?id=it4QAQAAIAAJ&hl=&source=gbs_api