國立高雄大學圖資館 |

Language: English

Back

Reductive Logic and Proof-search :Pr...

Oxford University Press.

Reductive Logic and Proof-search :Proof Theory, Semantics, and Control

Record Type:	Electronic resources : 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.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[electronic resource] : - Oxford :Oxford University Press,2004 - 226 p. - Oxford scholarship online.

Electronic reproduction.
Oxford :
2004.

(Oxford scholarship online).

Access restricted to subscribing institutions.

ISBN: 0198526334Subjects--Topical Terms:

180452
Logic, Symbolic and mathematical.

Reductive Logic and Proof-search :Proof Theory, Semantics, and Control
LDR:00957cmm _22001694 _450 001 184266
003 UK-OxUP
005 20080304013926.0
006 m e d
007 cr bn ---auuuu
008 090528s2004 enk s 001 0 eng d
020 $a 0198526334
035 $a 00326863
100 0 $a Pym, David J. $3 272923
245 1 0 $a Reductive Logic and Proof-search : $b Proof Theory, Semantics, and Control $h [electronic resource] :
260 # $a Oxford : $c 2004 $b Oxford University Press,
300 $a 226 p.
533 $a Electronic reproduction. $b Oxford : $c 2004. $c Oxford University Press, $f (Oxford scholarship online). $n Access restricted to subscribing institutions. $n Available as searchable text in HTML format. $n Mode of access: World Wide Web. System requirements: Internet Explorer 5.5 (or higher) or Netscape Navigator 6.1 (or higher).
650 # 0 $a Logic, Symbolic and mathematical. $3 180452
650 # 0 $a Proof theory. $3 190840
650 # 0 $a Bewijstheorie. $2 gtt $3 272924
650 # 0 $a Reductie (filosofie) $2 gtt $3 272925
650 # 0 $a Logica. $2 gtt $3 272926
650 # 0 $a Logique symbolique et mathématique. $3 312799
650 # 0 $a Preuve, Théorie de la. $3 312800
700 0 # $a Ritter, Eike $3 272922
710 0 # $a Oxford University Press. $3 180112
830 0 $a Oxford scholarship online $3 267830
856 4 0 $u http://libsw.nuk.edu.tw:81/login?url=http://www.oxfordscholarship.com/oso/public/content/maths/9780198526339/toc.html $z http://www.oxfordscholarship.com/oso/public/content/maths/9780198526339/toc.html