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, Series Number 70) - Hardcover
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.
"synopsis" may belong to another edition of this title.
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.
- PublisherCambridge University Press
- Publication date2007
- ISBN 10 0521876591
- ISBN 13 9780521876599
- BindingHardcover
- LanguageEnglish
- Number of pages236
Search results for Dependence Logic: A New Approach to Independence Friendly...
Stock Image
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)
Published by
Cambridge University Press, 2007
ISBN 10: 0521876591
ISBN 13: 9780521876599
Used
Hardcover
Seller: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Used - Very Good. 2007. Hardcover. Cloth, no dj. Slight shelf-wear. Clean internals. Very Good. Seller Inventory # S87254
Quantity: 1 available
Stock Image
Dependence Logic: A New Approach to Independence Friendly Logic
Published by
Cambridge University Press, 2007
ISBN 10: 0521876591
ISBN 13: 9780521876599
Used
Hardcover
First Edition
Seller: Prior Books Ltd, Cheltenham, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Like New. First Edition. Firm, square and tight with sturdy hinges, just showing a few minor rubs and some mild cosmetic wear. Hence a non-text page is stamped 'damaged'. Despite such this book is in nearly new condition. Thus the contents are crisp, fresh and clean. Offered for sale at a very sensible price. Seller Inventory # 119633
Quantity: 1 available
Stock Image
Dependence Logic
Published by
Cambridge University Press, 2010
ISBN 10: 0521876591
ISBN 13: 9780521876599
Used
Hardcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut | Seiten: 236 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 3378015/3
Quantity: 1 available
Stock Image
DEPENDENCE LOGIC : A NEW APPROACH TO INDEPENDENCE FRIENDLY LOGIC
Published by
Cambridge University Press, 2007
ISBN 10: 0521876591
ISBN 13: 9780521876599
New
Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Excellent Customer Service. Seller Inventory # ABEJUNE24-107973
Quantity: 1 available
Stock Image
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts, Series Number 70)
Published by
Cambridge University Press, 2007
ISBN 10: 0521876591
ISBN 13: 9780521876599
New
Hardcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190019803
Quantity: Over 20 available
Stock Image
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)
Published by
Cambridge University Press, 2007
ISBN 10: 0521876591
ISBN 13: 9780521876599
Used
Hardcover
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA77305218765916
Quantity: 1 available
Stock Image
Dependence Logic: A New Approach to Independence Friendly Logic (Hardcover)
Published by
Cambridge University Press, Cambridge, 2007
ISBN 10: 0521876591
ISBN 13: 9780521876599
New
Hardcover
Seller: Grand Eagle Retail, Fairfield, OH, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521876599
Quantity: 1 available
Stock Image
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts, Series Number 70)
Published by
Cambridge University Press, 2007
ISBN 10: 0521876591
ISBN 13: 9780521876599
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521876599_new
Quantity: Over 20 available
Stock Image
Dependence Logic: A New Approach to Independence Friendly Logic
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 225 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand. Seller Inventory # __0521876591
Quantity: 1 available
Stock Image
Dependence Logic: A New Approach to Independence Friendly Logic
Published by
Cambridge University Press, 2007
ISBN 10: 0521876591
ISBN 13: 9780521876599
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 550. Seller Inventory # C9780521876599
Quantity: Over 20 available