新生學校財團法人新生醫護管理專科學校圖書館 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Dependence Logic : = A New Approach ...

~

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:

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

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login