東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Reductive Logic and Proof-search = P...

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/
Reminder of title:	Proof Theory, Semantics, and Control
Author:	Pym, David J.
other author:	Ritter, Eike
Published:	Oxford :Oxford University Press, : 2004,
Description:	226 p.
Subject:	Logic, Symbolic and mathematical. -
Online resource:	http://www.oxfordscholarship.com/oso/public/content/maths/9780198526339/toc.htmlhttp://www.oxfordscholarship.com/oso/public/content/maths/9780198526339/toc.html
ISBN:	0198526334

Reductive Logic and Proof-search = Proof Theory, Semantics, and Control
Pym, David J.

Reductive Logic and Proof-searchProof Theory, Semantics, and Control[electronic resource] : - Oxford :Oxford University Press,2004 - 226 p. - Oxford scholarship online.

Electronic reproduction.
Oxford :
Oxford University Press,

(Oxford scholarship online).

Mode of access: World Wide Web. System requirements: Internet Explorer 5.5 (or higher) or Netscape Navigator 6.1 (or higher).

ISBN: 0198526334Subjects--Topical Terms:

532051
Logic, Symbolic and mathematical.

Reductive Logic and Proof-search = Proof Theory, Semantics, and Control
LDR:00945cam a2200181 a 45 001 761797
003 UK-OxUP
005 20080606
006 m e d
007 cr bn ---auuuu
008 080606s2004 enk s 001 0 eng d
020 $a 0198526334
035 $a osouk9780198526339
040 $a NDHU $c NDHU $d NDHU
100 $a Pym, David J. $3 774872
245 1 0 $a Reductive Logic and Proof-search $h [electronic resource] : $b Proof Theory, Semantics, and Control
260 $a Oxford : $c 2004 $b Oxford University Press,
300 $a 226 p.
533 $a Electronic reproduction. $b Oxford : $c Oxford University Press, $c 2004. $f (Oxford scholarship online). $n Mode of access: World Wide Web. System requirements: Internet Explorer 5.5 (or higher) or Netscape Navigator 6.1 (or higher). $n Available as searchable text in HTML format. $n Access restricted to subscribing institutions.
650 $a Logic, Symbolic and mathematical. $3 532051
650 $a Proof theory. $3 543782
650 $a Logique symbolique et math矇matique. $3 887738
650 $a Preuve, Th矇orie de la. $3 887739
650 $a Bewijstheorie. $2 gtt $3 887740
650 $a Logica. $2 gtt $3 887741
650 $a Reductie (filosofie) $2 gtt $3 887742
700 $a Ritter, Eike $3 887737
710 $a Oxford University Press. $3 515089
830 $a Oxford scholarship online $3 882660
856 4 0 $u http://www.oxfordscholarship.com/oso/public/content/maths/9780198526339/toc.html $z http://www.oxfordscholarship.com/oso/public/content/maths/9780198526339/toc.html