東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Dependence Logic : = A New Approach ...

~

Vaananen, Jouko.

FindBook

Google Book

Amazon

博客來

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
內容註:	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
電子資源:	http://dx.doi.org/10.1017/CBO9780511611193Click 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:

542853
Electronic books.

LC Class. No.: BC128 . / V33 2007

Dewey Class. No.: 511.3

Dependence Logic : = A New Approach to Independence Friendly Logic.
LDR:01343nmm a22003013u 4500 001 1809558
003 AU-PeEL
005 20090601202841.0
006 m d
007 cr mn---------
008 231221t2007 ||| s |||||||eng|d
020 $a 9780511611193 (electronic bk.)
020 $a 9780521876599 (print)
035 $a EBL295763
035 $a EBL295763
035 $a 1809558
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 1070814
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 lcsh $3 542853
710 2 $a Ebooks Corporation. $3 1314793
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

典藏地名稱

館藏流通類別

W9170202

電子資源

11.線上閱覽_V

電子書

EB BC128 . V33 2007

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

多媒體

評論

新增評論分享你的心得

Export

取書館

變更密碼

登入