Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Dependence Logic

Name: Dependence Logic
Brand: Cambridge University Press
SKU: 04399095
Price: 27630 HUF
Availability: InStock
Author: Jouko Vaananen
ISBN: 9780521700153

A New Approach to Independence Friendly Logic

Jouko Vaananen

Language

English

Book Paperback

Libristo code: 04399095

Publishers Cambridge University Press, May 2007

Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history,... Full description

Libristo code: 04399095

189 b

27 630 Ft

In stock at our supplier Shipping in 10-18 days

30-day return policy

Customers also purchased

Kopulativkomposita Dorothea Bräutigam

Paperback

6 249 Ft

Motos, List addict Patrick Boisvert

Paperback

6 894 Ft

Dictionnaire de la pensée kleinienne Hinshelwood

Paperback

16 675 Ft

Elemente Der Achten Nebengruppe Georg Bauer

Paperback

25 903 Ft

Piano Sonatas-op.53 & op.57 Maria Mazo

Audio CD

5 098 Ft

El tarot del necronomicón Donald Tyson

Paperback

10 790 Ft

Rechtsextremismus mit regionalem Bezug zu NRW Corinna Richter

Paperback

6 249 Ft

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.