東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Reductive logic and proof-search : =...

~

Ritter, Eike.

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Reductive logic and proof-search :/ David J. Pym and Eike Ritter.
Reminder of title:	proof theory, semantics, and control /
Author:	Pym, David J.
other author:	Ritter, Eike.
Published:	Oxford, UK :Clarendon Press ; : 2004.,
Description:	xv, 208 p. :ill. ;24 cm.
Series:	Oxford logic guides ;
Subject:	Logic, Symbolic and mathematical. -
Online resource:	http://www.loc.gov/catdir/enhancements/fy0618/2004049208-t.htmlhttp://www.loc.gov/catdir/enhancements/fy0618/2004049208-t.html
Online resource:	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

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0054754

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

01.外借(書)_YB

一般圖書

QA9 P87 2004

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login