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.

About the Author:

Jouko V��n�nen is Professor of Mathematics at the University of Helsinki.

"About this title" may belong to another edition of this title.

Store Description

Large used and rare bookshop near the University of Virginia. 90% of our books are not listed on the Internet. The books that are listed are NOT representative of our complete stock.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Heartwood Books Inc
5 Elliewood Avenue, Charlottesville, VA, 22903, U.S.A.

Terms of Sale:

Virginia residents must add 5.3% sales tax.

Name:
Heartwood Books Inc
5 Elliewood Ave
Charlottesville, Va 22903
434-295-7083

Owner: Paul Collinge

Shipping Terms:

Orders usually ship within 1 business days. Shipping costs are based on the weight and size of the book. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Add to Wants

Items related to Dependence Logic: A New Approach to Independence Friendly...

Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts 70)

Vaananen, Jouko

Used - Soft cover

Seller's business information