國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Dependence Logic :A New Approach to ...

~

Ebooks Corporation.

Dependence Logic :A New Approach to Independence Friendly Logic.

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	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:

214472
Electronic books.

LC Class. No.: BC128 . / V33 2007

Dewey Class. No.: 511.3

Dependence Logic :A New Approach to Independence Friendly Logic.
LDR:01319nmm a22002893u 4500 001 327076
003 AU-PeEL
005 20090601202841.0
006 m d
007 cr mn---------
008 120518t2007 ||| 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 323809
245 1 0 $a Dependence Logic : $b A New Approach to Independence Friendly Logic. $h [electronic resource].
260 $a Leiden : $b Cambridge University Press, $c 2007.
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 214472
710 2 $a Ebooks Corporation. $3 322111
776 1 $z 9780521876599
856 4 0 $z Click here to view book $u http://dx.doi.org/10.1017/CBO9780511611193

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

館藏流通類別

000000025409

電子館藏

1圖書

電子書

EB BC128 V33 2007

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

多媒體

多媒體檔案
http://dx.doi.org/10.1017/CBO9780511611193

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入