語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Reductive Logic and Proof-search = P...
~
Oxford University Press.
Reductive Logic and Proof-search = Proof Theory, Semantics, and Control
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Reductive Logic and Proof-search/
其他題名:
Proof Theory, Semantics, and Control
作者:
Pym, David J.
其他作者:
Ritter, Eike
出版者:
Oxford :Oxford University Press, : 2004,
面頁冊數:
226 p.
標題:
Preuve, Théorie de la. -
電子資源:
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 :
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:
580343
Preuve, Théorie de la.
Reductive Logic and Proof-search = Proof Theory, Semantics, and Control
LDR
:00846cam 22001694 4500
001
566734
003
UK-OxUP
005
20080304013926.0
006
m e d
007
cr bn ---auuuu
008
090330s2004 enk s 001 0 eng d
020
$a
0198526334
035
$a
osouk9780198526339
100
$a
Pym, David J.
$3
580338
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
Preuve, Théorie de la.
$3
580343
650
$a
Logique symbolique et mathématique.
$3
580342
650
$a
Logica.
$2
gtt
$3
580341
650
$a
Reductie (filosofie)
$2
gtt
$3
580340
650
$a
Bewijstheorie.
$2
gtt
$3
580339
650
$a
Proof theory.
$3
579943
650
$a
Logic, Symbolic and mathematical.
$3
527823
700
$a
Ritter, Eike
$3
580344
710
$a
Oxford University Press.
$3
574743
830
$a
Oxford scholarship online
$3
574742
856
4 0
$u
http://www.oxfordscholarship.com/oso/public/content/maths/9780198526339/toc.html
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入