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

Vaananen, Jouko

ISBN 10: 0521700159 ISBN 13: 9780521700153

Published by Cambridge University Press, U.S.A.(Cambridge, 2007), 2007

Language: English

Condition: Used - Very good Soft cover

Save for Later

Sold by Heartwood Books, A.B.A.A., Charlottesville, VA, U.S.A.

Association Member:

ABAA
ILAB

AbeBooks Seller since January 12, 1999

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Soft cover

Condition: Used - Very good

Price: US$ 12.50 Convert Currency

US$ 4.99 shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Very Good, internally clean, solid paperback with some dents to the back cover. #.

Seller Inventory # 19392

Contact seller

Report this item

Bibliographic Details

Title

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

Publisher

Cambridge University Press, U.S.A.(Cambridge, 2007)

Publication Date

2007

Language

English

ISBN 10

0521700159

ISBN 13

9780521700153

Binding

Trade Paperback

Condition

Very Good

Seller catalogs

Religion and Philosophy

About this title

Synopsis

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.

Sale & Shipping Terms

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.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 4.99	US$ 11.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.