縮小範圍

商品類型

原文書（3）

商品狀況

可訂購商品（3）

庫存狀況

無庫存（3）

商品定價

$800以上（3）

出版日期

2016年以前（3）

裝訂方式

平裝（3）

作者

Dave Barker-Plummer (EDT)/ David I. Beaver (EDT)/ Johan Van Benthem (EDT)/ Patrick Scotto Di Luzio (EDT) （1）

Dave Barker-Plummer/ Jon Barwise/ John Etchemendy/ Albert Liu (COL)/ Michael Murray (COL) （1）

Nathaniel Miller/ Dave Barker-Plummer (EDT) （1）

出版社/品牌

Univ of Chicago Pr （2）

Stanford Univ Center for the Study （1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共3筆商品，1/1頁

Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry

作者：Nathaniel Miller; Dave Barker-Plummer (EDT) 出版社：Stanford Univ Center for the Study 出版日：2007/04/15 裝訂：平裝

This book discusses the history of diagrams in Euclidean Geometry; develops a formal system FG for working with geometric diagrams in Euclidean geometry; develops meta-mathematical results about this

無庫存，下單後進貨(到貨天數約30-45天)

定價：1650 元，優惠價：1 1650

Language, Proof and Logic

作者：Dave Barker-Plummer; Jon Barwise; John Etchemendy; Albert Liu (COL); Michael Murray (COL) 出版社：Univ of Chicago Pr 出版日：2011/09/30 裝訂：平裝

Language Proof and Logic is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available

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

無法訂購

Words, Proofs and Diagrams

作者：Dave Barker-Plummer (EDT); David I. Beaver (EDT); Johan Van Benthem (EDT); Patrick Scotto Di Luzio (EDT) 出版社：Univ of Chicago Pr 出版日：2002/07/01 裝訂：平裝

The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists, philosophers, and psychologists. These interdisciplinary studies stem from the

無庫存，下單後進貨(到貨天數約30-45天)

定價：1560 元，優惠價：1 1560

共3 筆
1 頁

熱搜：

超越音符：林俊傑20週年

葉嘉瑩

中華職棒雜誌⚾

伊薩卡島

瓊瑤

2025觀光行銷日曆

制度基因

2025三民手札

英雄聯盟奧術🔥

原子少年II寫真

冷氣團