登入選單
返回Google圖書搜尋
Logic for Computer Science
Jean H. Gallier
其他書名
Foundations of Automatic Theorem Proving
出版Harper & Row, 1986
主題Mathematics / Logic
ISBN00604222549780060422257
URLhttp://books.google.com.hk/books?id=4uVQAAAAMAAJ&hl=&source=gbs_api