Dependence Logic by Jouko Vaananen
Look inside with Google Book Preview
Dependence Logic
By Jouko Vaananen

Dependence Logic

A New Approach to Independence Friendly Logic

By (author) See other recent books by Jouko Vaananen
Format: Paperback

Normal Price: $105.00
Your Price: $94.50 AUD, inc. GST
Shipping: $7.95 per order
You Save: $10.50! (10% off normal price)
Plus...earn $4.73 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply, Not for Xmas

Dependence Logic by Jouko Vaananen

Book 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.

Buy Dependence Logic book by Jouko Vaananen from Australia's Online Bookstore, Boomerang Books.

Book Details

ISBN: 9780521700153
ISBN-10: 0521700159
Format: Paperback
(228mm x 152mm x 14mm)
Pages: 236
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 10-May-2007
Country of Publication: United Kingdom

Other Editions...

Books By Author Jouko Vaananen

Models and Games by Jouko Vaananen Models and Games, Hardback (May 2011)

This introductory text clearly presents three important games in logic, from the basics to the cutting edge.

Dependence Logic by Jouko Vaananen Dependence Logic, Hardback (May 2007)

A systematic logical study of dependence also providing a precise treatment of independence friendly logic.

» View all books by Jouko Vaananen


» Have you read this book? We'd like to know what you think about it - write a review about Dependence Logic book by Jouko Vaananen and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review

Author Biography - Jouko Vaananen

Jouko Vaananen is Professor of Mathematics at the University of Helsinki.

Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Jouko Vaananen close
Models and Games by Jouko Vaananen
Dependence Logic by Jouko Vaananen
» close