大葉大學圖書館 |

登入

回首頁

Dependence Logic :[electronic resour...

Ebooks Corporation.

Dependence Logic :[electronic resource].A New Approach to Independence Friendly Logic.

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	511.3
書名/作者:	Dependence Logic : : A New Approach to Independence Friendly Logic.
作者:	Vaananen, Jouko.
出版者:	Leiden : : Cambridge University Press,, 2007.
面頁冊數:	237 p.
叢書名:	London Mathematical Society Student Texts
ISBN:	9780511611193 (electronic bk.)
ISBN:	9780521876599 (print)
內容註:	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.
電子資源:	Click here to view book

Dependence Logic :[electronic resource].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:

336502
Electronic books.

LC Class. No.: BC128 . / V33 2007

Dewey Class. No.: 511.3

Dependence Logic :[electronic resource].A New Approach to Independence Friendly Logic.
LDR:01335nam a22002893u 4500 001 405596
003 AU-PeEL
005 20090601202841.0
006 m d
007 cr mn---------
008 140714t2007 ||| 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 567184
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 336502
710 2 $a Ebooks Corporation. $3 380544
776 1 $z 9780521876599
856 4 0 $z Click here to view book $u http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511611193

筆 0 讀者評論

多媒體

多媒體檔案
http://ebooks.cambridge.org/ebook.jsf?bid=CBO9780511611193

評論

Export

取書館別