Language:
English
繁體中文
Help
回圖書館
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
Processing
...
Change password
Login