新生學校財團法人新生醫護管理專科學校圖書館 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Reductive Logic and Proof-search = P...

~

Pym, David J.

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-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:

93197
Logic, Symbolic and mathematical.

Reductive Logic and Proof-search = Proof Theory, Semantics, and Control
LDR:00846cmm 22001694 4500 001 173993
003 UK-OxUP
005 20080304013926.0
006 m e d
007 cr bn ---auuuu
008 160302s2004 enk s 001 0 eng d
020 $a 0198526334
035 $a osouk9780198526339
100 1 $a Pym, David J. $3 340402
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 0 $a Logic, Symbolic and mathematical. $3 93197
650 0 $a Proof theory. $3 125950
650 1 7 $a Bewijstheorie. $2 gtt $3 340404
650 1 7 $a Reductie (filosofie) $2 gtt $3 340405
650 1 7 $a Logica. $2 gtt $3 257245
650 6 $a Logique symbolique et mathématique. $3 340406
650 6 $a Preuve, Théorie de la. $3 340407
700 1 $a Ritter, Eike $3 340403
710 2 $a Oxford University Press. $3 102235
830 0 $a Oxford scholarship online $3 336494
856 4 0 $u http://www.oxfordscholarship.com/oso/public/content/maths/9780198526339/toc.html

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login