Email RIS file
Bookmark
Report an Issue

Dependence logic : a new approach to independence friendly logic / Jouko Väänänen

Author
Väänänen, J. (Jouko), 1950-
Published
Cambridge : Cambridge University Press, 2007.
Physical Description
1 online resource (ix, 225 pages) : illustrations
Access Online

Availability

I Want It
I Want It

Finding items...

Series
Contents
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.
Summary
A systematic logical study of dependence also providing a precise treatment of independence friendly logic.
Subject(s)
ISBN
9780511286858 (electronic bk.)
0511286856 (electronic bk.)
0511285396
9780511285394
0521700159 (paper)
9780521700153 (paper)
0521876591 (cloth)
9780521876599 (cloth)
0511286139 (electronic bk.)
9780511286131 (electronic bk.)
9780511611193 (ebook)
0511611196 (ebook)
6610910022
9786610910021
Bibliography Note
Includes bibliographical references and index.
View MARC record | catkey: 43324735