All listings for this product
Best-selling in Non-Fiction Books
Save on Non-Fiction Books
- AU $56.35Trending at AU $60.64
- AU $19.08Trending at AU $26.10
- AU $74.23Trending at AU $76.09
- AU $35.55Trending at AU $38.80
- AU $31.87Trending at AU $37.29
- AU $37.63Trending at AU $38.56
- AU $47.17Trending at AU $59.70
About this product
- DescriptionBringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the tion of semantic games. The book pushes the paradigm of game-theoretical semantics further than the current literature by showing how mixed strategies and equilibria can be used to analyze independence-friendly formulas on finite models. The book is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic. It contains a primer of the necessary background in game theory, numerous examples and full proofs.
- Author BiographyAllen L. Mann is a Postdoctoral Researcher in the Department of Mathematics and Statistics at the University of Tampere, Finland. Gabriel Sandu is a Professor of Theoretical Philosophy at the University of Helsinki, Finland. Merlijn Sevenster is a Senior Researcher in Healthcare Information Management at Philips Research, The Netherlands.
- Author(s)Allen Mann,Gabriel Sandu,Merlijn Sevenster
- PublisherCambridge University Press
- Date of Publication05/05/2011
- SubjectScience & Mathematics: Textbooks & Study Guides
- Series TitleLondon Mathematical Society Lecture Note Series
- Series Part/Volume Number386
- Place of PublicationCambridge
- Country of PublicationUnited Kingdom
- ImprintCambridge University Press
- Content Note20 b/w illus.
- Weight320 g
- Width152 mm
- Height228 mm
- Spine11 mm
- Format DetailsTrade paperback (US)
This item doesn't belong on this page.
Thanks, we'll look into this.