東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Reductive logic and proof-search : =...

~

Ritter, Eike.

FindBook

Google Book

Amazon

博客來

Reductive logic and proof-search : = proof theory, semantics, and control /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Reductive logic and proof-search :/ David J. Pym and Eike Ritter.
其他題名:	proof theory, semantics, and control /
作者:	Pym, David J.
其他作者:	Ritter, Eike.
出版者:	Oxford, UK :Clarendon Press ; : 2004.,
面頁冊數:	xv, 208 p. :ill. ;24 cm.
叢書名:	Oxford logic guides ;
標題:	Logic, Symbolic and mathematical. -
電子資源:	http://www.loc.gov/catdir/enhancements/fy0618/2004049208-t.htmlhttp://www.loc.gov/catdir/enhancements/fy0618/2004049208-t.html
電子資源:	http://www.loc.gov/catdir/enhancements/fy0618/2004049208-d.htmlhttp://www.loc.gov/catdir/enhancements/fy0618/2004049208-d.html
ISBN:	0198526334 :

Reductive logic and proof-search : = proof theory, semantics, and control /
Pym, David J.

Reductive logic and proof-search :proof theory, semantics, and control /David J. Pym and Eike Ritter. - Oxford, UK :Clarendon Press ;2004. - xv, 208 p. :ill. ;24 cm. - Oxford logic guides ;45..

Includes bibliographical references and index.

ISBN: 0198526334 :UK18.99

LCCN: 2004049208Subjects--Topical Terms:

532051
Logic, Symbolic and mathematical.

LC Class. No.: QA9 / .P87 2004

Dewey Class. No.: 511.3

Reductive logic and proof-search : = proof theory, semantics, and control /
LDR:00940pam a2200205 a 45 001 710033
005 20070417
008 061212s2004 enka b 001 0 eng
010 $a 2004049208
020 $a 0198526334 : $c UK18.99
035 $a AS95T0018
040 $a DLC $c DLC $d DLC
050 0 0 $a QA9 $b .P87 2004
082 0 0 $a 511.3 $2 22
100 $a Pym, David J. $3 774872
245 1 0 $a Reductive logic and proof-search : $b proof theory, semantics, and control / $c David J. Pym and Eike Ritter.
260 $a Oxford, UK : $a New York : $c 2004. $b Clarendon Press ; $b Oxford University Press,
300 $a xv, 208 p. : $b ill. ; $c 24 cm.
440 0 $a Oxford logic guides ; $v 45.
504 $a Includes bibliographical references and index.
650 $a Logic, Symbolic and mathematical. $3 532051
650 $a Proof theory. $3 543782
700 $a Ritter, Eike. $3 774871
856 4 1 $3 Table of contents only $u http://www.loc.gov/catdir/enhancements/fy0618/2004049208-t.html $z http://www.loc.gov/catdir/enhancements/fy0618/2004049208-t.html
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy0618/2004049208-d.html $z http://www.loc.gov/catdir/enhancements/fy0618/2004049208-d.html

筆 0 讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

W0054754

六樓西文書區HC-Z(6F Western Language Books)

01.外借(書)_YB

一般圖書

QA9 P87 2004

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

多媒體

評論

新增評論分享你的心得

Export

取書館

變更密碼

登入