國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Dependence Logic :A New Approach to ...

~

Ebooks Corporation.

Dependence Logic :A New Approach to Independence Friendly Logic.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Dependence Logic :
Reminder of title:	A New Approach to Independence Friendly Logic.
Author:	Vaananen, Jouko.
Published:	Leiden :Cambridge University Press,2007.
Description:	237 p.
Series:	London Mathematical Society Student Texts
Online resource:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

000000025409

電子館藏

1圖書

電子書

EB BC128 V33 2007

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Multimedia

Multimedia file
http://dx.doi.org/10.1017/CBO9780511611193

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login