Language:
English
繁體中文
Help
回圖書館首頁
手機版館藏查詢
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Dependence Logic : = A New Approach ...
~
Vaananen, Jouko.
Linked to FindBook
Google Book
Amazon
博客來
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
[NT 15003449]:
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
Online resource:
http://dx.doi.org/10.1017/CBO9780511611193Click 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:
542853
Electronic books.
LC Class. No.: BC128 . / V33 2007
Dewey Class. No.: 511.3
Dependence Logic : = A New Approach to Independence Friendly Logic.
LDR
:01343nmm a22003013u 4500
001
1809558
003
AU-PeEL
005
20090601202841.0
006
m d
007
cr mn---------
008
231221t2007 ||| s |||||||eng|d
020
$a
9780511611193 (electronic bk.)
020
$a
9780521876599 (print)
035
$a
EBL295763
035
$a
EBL295763
035
$a
1809558
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
1070814
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
lcsh
$3
542853
710
2
$a
Ebooks Corporation.
$3
1314793
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)
Location:
ALL
電子資源
Year:
Volume Number:
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
W9170202
電子資源
11.線上閱覽_V
電子書
EB BC128 . V33 2007
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login