語系:
繁體中文
English
說明(常見問題)
回圖書館
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Reductive Logic and Proof-search = P...
~
Pym, David J.
Reductive Logic and Proof-search = Proof Theory, Semantics, and Control
紀錄類型:
書目-電子資源 : 單行本
正題名/作者:
Reductive Logic and Proof-search/
其他題名:
Proof Theory, Semantics, and Control
作者:
Pym, David J.
其他作者:
Ritter, Eike
出版者:
Oxford :Oxford University Press, : 2004,
面頁冊數:
226 p.
標題:
Logic, Symbolic and mathematical. -
電子資源:
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:
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
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入