登入選單
Google圖書搜尋
Proof Theory and Algebra in Logic
作者
Hiroakira Ono
出版Springer, 2019-08-02
ISBN
9789811379970 / 9811379971
主題
Philosophy
Logic, Language, Information and Computation
作者
Hiroakira Ono / Makoto Kanazawa
出版Springer Science & Business Media, 2009-05-27
ISBN
9783642022609 / 364202260X
主題
Computers
Residuated Lattices: An Algebraic Glimpse at Subst...
作者
Nikolaos Galatos / Peter Jipsen / Tomasz Kowalski / Hiroakira Ono
出版Elsevier, 2007-04-25
ISBN
9780080489643 / 0080489648
主題
Mathematics
Proof Theory and Algebra in Logic
作者
Hiroakira Ono
出版Springer, 2019-08-02
ISBN
9789811379970 / 9811379971
主題
Philosophy
Residuated Lattices: An Algebraic Glimpse at Subst...
作者
Nikolaos Galatos / Peter Jipsen / Tomasz Kowalski / Hiroakira Ono
出版Elsevier, 2007-04-25
ISBN
9780080489643 / 0080489648
主題
Mathematics
Logic, Language, Information and Computation
作者
Hiroakira Ono / Makoto Kanazawa
出版Springer Science & Business Media, 2009-05-27
ISBN
9783642022609 / 364202260X
主題
Computers