Articles liés à Dependence Logic: A New Approach to Independence Friendly...
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Jouko Väänänen is Professor of Mathematics at the University of Helsinki.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 83,20
Gratuit expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Dependence Logic: A New Approach to Independence Friendly...
Image d'archives
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521876591
ISBN 13 : 9780521876599
Ancien ou d'occasion
Couverture rigide
Vendeur : Powell's Bookstores Chicago, ABAA, Chicago, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Used - Very Good. 2007. Hardcover. Cloth, no dj. Slight shelf-wear. Clean internals. Very Good. N° de réf. du vendeur S87254
Quantité disponible : 1 disponible(s)
Image d'archives
Dependence Logic: A New Approach to Independence Friendly Logic
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521876591
ISBN 13 : 9780521876599
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Prior Books Ltd, Cheltenham, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur 119633
Quantité disponible : 1 disponible(s)
Image d'archives
DEPENDENCE LOGIC : A NEW APPROACH TO INDEPENDENCE FRIENDLY LOGIC
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521876591
ISBN 13 : 9780521876599
Neuf
Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-103524
Quantité disponible : 1 disponible(s)
Image d'archives
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts, Series Number 70)
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521876591
ISBN 13 : 9780521876599
Neuf
Couverture rigide
Vendeur : GoldBooks, Denver, CO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. N° de réf. du vendeur 54G42_94_0521876591
Quantité disponible : 1 disponible(s)
Image d'archives
Dependence Logic
Edité par
Cambridge University Press, 2010
ISBN 10 : 0521876591
ISBN 13 : 9780521876599
Ancien ou d'occasion
Couverture rigide
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 3378015/3
Quantité disponible : 1 disponible(s)
Image d'archives
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts, Series Number 70)
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521876591
ISBN 13 : 9780521876599
Neuf
Couverture rigide
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Feb2416190019803
Quantité disponible : Plus de 20 disponibles
Image d'archives
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts)
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521876591
ISBN 13 : 9780521876599
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Like New. Like New. Ships from Multiple Locations. book. N° de réf. du vendeur ERICA77305218765916
Quantité disponible : 1 disponible(s)
Image d'archives
Dependence Logic: A New Approach to Independence Friendly Logic (London Mathematical Society Student Texts, Series Number 70)
Edité par
Cambridge University Press, 2007
ISBN 10 : 0521876591
ISBN 13 : 9780521876599
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521876599_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Dependence Logic: A New Approach to Independence Friendly Logic (Hardcover)
Edité par
Cambridge University Press, Cambridge, 2007
ISBN 10 : 0521876591
ISBN 13 : 9780521876599
Neuf
Couverture rigide
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur 9780521876599
Quantité disponible : 1 disponible(s)
Image d'archives
Dependence Logic: A New Approach to Independence Friendly Logic
Edité par
Cambridge Univ Pr, 2007
ISBN 10 : 0521876591
ISBN 13 : 9780521876599
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 225 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521876591
Quantité disponible : 1 disponible(s)