熱搜：

百年孤寂

NEW 千呼萬喚始出來，紅利積點抵現金，趕快讓你的積點變現金！

165反詐騙

即日起~6/30，暑期閱讀書展，好書7折起

縮小範圍

商品類型

原文書（2）

商品狀況

可訂購商品（2）

庫存狀況

無庫存（2）

商品定價

$800以上（2）

出版日期

2016年以前（2）

裝訂方式

平裝（1）

精裝（1）

作者

Richard (School of Computing Science Bornat Middlesex University) （1）

Richard Bornat （1）

出版社/品牌

Oxford Univ Pr on Demand （1）

Oxford University Press （1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共2筆商品，1/1頁

Proof And Disproof in Formal Logic ― An Introduction for Programmers

作者：Richard Bornat 出版社：Oxford Univ Pr on Demand 出版日：2005/09/29 裝訂：平裝

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical cl

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

Proof and Disproof in Formal Logic

作者：Richard (School of Computing Science Bornat Middlesex University) 出版社：Oxford University Press 出版日：2005/07/21 裝訂：精裝

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

共2 筆
1 頁

暢銷榜
客服中心
收藏
瀏覽紀錄
會員專區

熱搜：

新基本小六法

買書看棒球!

書展書籍五折起

Pixar Inside Out 2

Haikyu!!

洞見：從科學到哲學

繁花