登入
選單
返回
Google圖書搜尋
Automated Theorem-proving in Non-classical Logics
Paul B. Thistlewaite
Michael A. McRobbie
Robert K. Meyer
出版
Pitman
, 1988
主題
Computers / Logic Design
Mathematics / History & Philosophy
Mathematics / Logic
ISBN
0273087819
9780273087816
URL
http://books.google.com.hk/books?id=D6AZAQAAIAAJ&hl=&source=gbs_api