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

Independent Bookstores since 1971.

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

Powell's Bookstores Chicago, ABAA
1501 E. 57th Street, Chicago, IL, 60637, U.S.A.

Terms of Sale:

All items subject to prior sale. No questions asked refunds within 60 days. For shipping rates, click "Shipping: Rates & Speed" above. Powells Bookstore Inc., 3429 W. 47th Street, Chicago, IL 60632; catorders@powellschicago.com; 773-376- 8106. VAT: N/A.

Shipping Terms:

Orders ship within 2 business days. Domestic standard orders shipped via
USPS Bound Printed Matter; Domestic Expedited orders shipped via FedEx or UPS
Ground. All International orders shipped via courier, typically arriving
within 7-21 business days. Expedited and Standard International rates are the
same.

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)

V??n?nen Jouko [Jouko Vaananen]

Used - Hardcover

Seller's business information