skip to content
Dependence logic : a new approach to independence friendly logic Preview this item
ClosePreview this item
Checking...

Dependence logic : a new approach to independence friendly logic

Author: J Väänänen
Publisher: Cambridge ; New York : Cambridge University Press, 2007.
Series: London Mathematical Society student texts, 70.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: J Väänänen
ISBN: 9780521876599 0521876591 9780521700153 0521700159
OCLC Number: 132288227
Description: ix, 225 pages : illustrations ; 24 cm.
Contents: Introduction --
Preliminaries --
Dependence logic --
Examples --
Game theoretic semantics --
Model theory --
Complexity --
Team logic.
Series Title: London Mathematical Society student texts, 70.
Responsibility: Jouko Väänänen.
More information:

Reviews

Editorial reviews

Publisher Synopsis

"The material is written in a very friendly way. Definitions of the majority of the important notions are preceded by explanations of the ideas. Moreover, the book contains more than 200 exercises, Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(2)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/132288227> # Dependence logic : a new approach to independence friendly logic
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "132288227" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891918666#Place/cambridge> ; # Cambridge
   schema:about <http://experiment.worldcat.org/entity/work/data/891918666#Topic/symbolisk_logik> ; # Symbolisk logik
   schema:about <http://id.loc.gov/authorities/classification/BC128> ;
   schema:about <http://id.worldcat.org/fast/925803> ; # First-order logic
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/67327911> ; # Jouko Väänänen
   schema:datePublished "2007" ;
   schema:description "Introduction -- Preliminaries -- Dependence logic -- Examples -- Game theoretic semantics -- Model theory -- Complexity -- Team logic."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/891918666> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891918666#Series/london_mathematical_society_student_texts> ; # London Mathematical Society student texts ;
   schema:name "Dependence logic : a new approach to independence friendly logic"@en ;
   schema:productID "132288227" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/132288227#PublicationEvent/cambridge_new_york_cambridge_university_press_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/891918666#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy0729/2007278700-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9780521700153> ;
   schema:workExample <http://worldcat.org/isbn/9780521876599> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA736074> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/132288227> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/891918666#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/891918666#Series/london_mathematical_society_student_texts> # London Mathematical Society student texts ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/132288227> ; # Dependence logic : a new approach to independence friendly logic
   schema:name "London Mathematical Society student texts ;" ;
    .

<http://id.worldcat.org/fast/925803> # First-order logic
    a schema:Intangible ;
   schema:name "First-order logic"@en ;
    .

<http://viaf.org/viaf/67327911> # Jouko Väänänen
    a schema:Person ;
   schema:birthDate "1950" ;
   schema:familyName "Väänänen" ;
   schema:givenName "Jouko" ;
   schema:givenName "J." ;
   schema:name "Jouko Väänänen" ;
    .

<http://worldcat.org/isbn/9780521700153>
    a schema:ProductModel ;
   schema:isbn "0521700159" ;
   schema:isbn "9780521700153" ;
    .

<http://worldcat.org/isbn/9780521876599>
    a schema:ProductModel ;
   schema:isbn "0521876591" ;
   schema:isbn "9780521876599" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.