Dependence Logic Image close
Dependence Logic on Hardback by Jouko Vaananen
Dependence Logic on Hardback by Jouko Vaananen
Show Hide Adult Content
Dependence Logic close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Dependence Logic

A New Approach to Independence Friendly Logic
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$381.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $95.25 with Afterpay Learn more

6 weekly interest-free payments of $63.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more London Mathematical Society Student Texts

See all products in this series

Set Theory for the Working Mathematician on Hardback by Krzysztof Ciesielski
$401.00
Set Theory for the Working Mathematician
by Krzysztof Ciesielski ~ Hardback
Available - Usually ships in 3-4 weeks
Logic, Induction and Sets on Hardback by Thomas Forster
$433.00
Logic, Induction and Sets
by Thomas Forster ~ Hardback
Available - Usually ships in 3-4 weeks
Set Theory for the Working Mathematician by Krzysztof Ciesielski
$154.00
Set Theory for the Working Mathematician
by Krzysztof Ciesielski ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Groups, Languages and Automata on Hardback by Derek F. Holt
$281.00
Groups, Languages and Automata
by Derek F. Holt ~ Hardback
Available - Usually ships in 3-4 weeks
Set Theory on Paperback by Andras Hajnal
$228.00
Set Theory
by Andras Hajnal ~ Paperback
Available - Usually ships in 3-4 weeks
Dependence Logic by Jouko Vaananen
$180.00
Dependence Logic
by Jouko Vaananen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fast Track to Forcing on Hardback by Mirna Dzamonja
$239.00
Fast Track to Forcing
by Mirna Dzamonja ~ Hardback
Available - Usually ships in 3-4 weeks
Logic, Induction and Sets by Thomas Forster
$161.00
Logic, Induction and Sets
by Thomas Forster ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Homotopy Theory of (∞,1)-Categories by Julia E. Bergner
$126.00
The Homotopy Theory of (∞,1)-Categories
by Julia E. Bergner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Set Theory on Hardback by Andras Hajnal
$403.00
Set Theory
by Andras Hajnal ~ Hardback
Available - Usually ships in 3-4 weeks
The Homotopy Theory of (∞,1)-Categories on Hardback by Julia E. Bergner
$280.00
The Homotopy Theory of (∞,1)-Categories
by Julia E. Bergner ~ Hardback
Available - Usually ships in 3-4 weeks
Groups, Languages and Automata by Derek F. Holt
$122.00
Groups, Languages and Automata
by Derek F. Holt ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Groups, Graphs and Trees on Hardback by John Meier
$346.00
Groups, Graphs and Trees
by John Meier ~ Hardback
Available - Usually ships in 3-4 weeks
An Introduction to Twistor Theory on Hardback by S. A Huggett
$441.00
An Introduction to Twistor Theory
by S. A Huggett ~ Hardback
Available - Usually ships in 3-4 weeks
Complex Algebraic Surfaces by Arnaud Beauville
$144.00
Complex Algebraic Surfaces
by Arnaud Beauville ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fourier Analysis on Finite Groups and Applications by Audrey Terras
$201.00
Fourier Analysis on Finite Groups and Applications
by Audrey Terras ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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 systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka's independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic semantics, and results about its complexity are proven. This is a graduate textbook suitable for a special course in logic in mathematics, philosophy and computer science departments, and contains over 200 exercises, many of which have a full solution at the end of the book. It is also accessible to readers, with a basic knowledge of logic, interested in new phenomena in logic.

Author Biography:

Jouko Väänänen is Professor of Mathematics at the University of Helsinki.
Release date NZ
May 10th, 2007
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises; 31 Tables, unspecified; 28 Line drawings, unspecified
Pages
236
Dimensions
152x229x17
ISBN-13
9780521876599
Product ID
1772516

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Jouko Vaananen

See all books by this author

Philosophical Uses of Categoricity Arguments on Hardback by Penelope Maddy
$190.00
Philosophical Uses of Categoricity Arguments
by Penelope Maddy ~ Hardback
Available - Usually ships in 3-4 weeks
Philosophical Uses of Categoricity Arguments by Penelope Maddy
$74.00
Philosophical Uses of Categoricity Arguments
by Penelope Maddy ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Dependence Logic by Jouko Vaananen
$180.00
Dependence Logic
by Jouko Vaananen ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Models and Games on Hardback by Jouko Vaananen
$231.00
Models and Games
by Jouko Vaananen ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic