語系:
繁體中文
English
說明(常見問題)
回圖書館
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Dependence Logic : = A New Approach ...
~
Ebooks Corporation.
Dependence Logic : = A New Approach to Independence Friendly Logic.
紀錄類型:
書目-電子資源 : 單行本
正題名/作者:
Dependence Logic :/
其他題名:
A New Approach to Independence Friendly Logic.
作者:
Vaananen, Jouko.
出版者:
Leiden :Cambridge University Press, : 2007.,
面頁冊數:
237 p.
叢書名:
London Mathematical Society Student Texts
電子資源:
Click here to view book
ISBN:
9780511611193 (electronic bk.)
Dependence Logic : = A New Approach to Independence Friendly Logic.
Vaananen, Jouko.
Dependence Logic :
A New Approach to Independence Friendly Logic.[electronic resource]. - Leiden :Cambridge University Press,2007. - 237 p. - London Mathematical Society Student Texts.
Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; 1 Introduction; 2 Preliminaries; 3 Dependence logic; 4 Examples; 5 Game theoretic semantics; 6 Model theory; 7 Complexity; 8 Team logic; Appendix Solutions to selected exercises, by Ville Nurmi; References; Index
A systematic logical study of dependence also providing a precise treatment of independence friendly logic.
Electronic reproduction.
Available via World Wide Web.
Mode of access: World Wide Web.
ISBN: 9780511611193 (electronic bk.)Index Terms--Genre/Form:
96803
Electronic books.
LC Class. No.: BC128 . / V33 2007
Dewey Class. No.: 511.3
Dependence Logic : = A New Approach to Independence Friendly Logic.
LDR
:01335nmm a22002893u 4500
001
148965
003
AU-PeEL
005
20090601202841.0
006
m d
007
cr mn---------
008
160127t2007 ||| s |||||||eng|d
020
$a
9780511611193 (electronic bk.)
020
$a
9780521876599 (print)
035
$a
EBL295763
035
$a
EBL295763
040
$a
AU-PeEL
$c
AU-PeEL
$d
AU-PeEL
050
0 0
$a
BC128 .
$b
V33 2007
082
0 0
$a
511.3
100
1
$a
Vaananen, Jouko.
$3
277846
245
1 0
$a
Dependence Logic :
$b
A New Approach to Independence Friendly Logic.
$h
[electronic resource].
260
$a
Leiden :
$c
2007.
$b
Cambridge University Press,
300
$a
237 p.
440
0
$a
London Mathematical Society Student Texts
505
0
$a
Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; 1 Introduction; 2 Preliminaries; 3 Dependence logic; 4 Examples; 5 Game theoretic semantics; 6 Model theory; 7 Complexity; 8 Team logic; Appendix Solutions to selected exercises, by Ville Nurmi; References; Index
520
$a
A systematic logical study of dependence also providing a precise treatment of independence friendly logic.
533
$a
Electronic reproduction.
$n
Available via World Wide Web.
538
$a
Mode of access: World Wide Web.
655
7
$a
Electronic books.
$2
local.
$3
96803
710
2
$a
Ebooks Corporation.
$3
197505
776
1
$z
9780521876599
856
4 0
$z
Click here to view book
$u
http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511611193
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入