登入選單
返回Google圖書搜尋
Hierarchical Meta-logics - Some Proof Theoretical Results
F. Giunchiglia
出版Istituto per la Ricerca Scientifica e Tecnologica, 1993
URLhttp://books.google.com.hk/books?id=XSdEPwAACAAJ&hl=&source=gbs_api