登入選單
Google圖書搜尋
ISBN : 0273087819總數: gridview
Automated Theorem-proving in Non-classical Logics
作者
Paul B. Thistlewaite / Michael A. McRobbie / Robert K. Meyer
出版Pitman Publishing, 1988
ISBN
UOM:39015053594712
主題
Mathematics