Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Models and Games Jouko Vaananen HC Number 132
US $60.00
ApproximatelyS$ 76.82
Condition:
“Cambridge University Press; Cambridge, 2011. Hardcover. Review Copy with review slip laid in. A Very ”... Read moreabout condition
Very Good
A book that has been read but is in excellent condition. No obvious damage to the cover, with the dust jacket included for hard covers. No missing or damaged pages, no creases or tears, and no underlining/highlighting of text or writing in the margins. May be very minimal identifying marks on the inside cover. Very minimal wear and tear.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
US $5.00 (approx S$ 6.40) USPS Media MailTM.
Located in: Foster, Rhode Island, United States
Delivery:
Estimated between Wed, 16 Jul and Mon, 21 Jul to 94104
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller assumes all responsibility for this listing.
eBay item number:127021825468
Item specifics
- Condition
- Very Good
- Seller Notes
- ISBN
- 9780521518123
About this product
Product Identifiers
Publisher
Cambridge University Press
ISBN-10
0521518121
ISBN-13
9780521518123
eBay Product ID (ePID)
99609770
Product Key Features
Number of Pages
380 Pages
Publication Name
Models and Games
Language
English
Subject
Logic
Publication Year
2011
Type
Textbook
Subject Area
Mathematics
Series
Cambridge Studies in Advanced Mathematics Ser.
Format
Hardcover
Dimensions
Item Height
1 in
Item Weight
25.8 Oz
Item Length
9 in
Item Width
6 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
2011-290393
Reviews
'… an interesting book that, while written by a logician, has lots of things to offer to computer scientists with theoretical inclinations.' Panos Rondogiannis, Theory and Practice of Logic Programming, 'The book can be used for reference purposes, as well as for teaching and self-study at the graduate level. It is a welcome addition to the literature on game-theoretic model theory.' Daniele Mundici, Zentralblatt MATH, "This is a very valuable book, written by a highly competent logician and mathematician who has himself contributed to the field. Parts of it (roughly, chapters 1 to 7) can be used in an introductory course in model theory with a game-theoretical flavor. The last two or three chapters, however, will require a bit more mathematical bravery, but the effort pays off." Walter Carnielli, Computing Reviews, "The strength of the book is the validation of a game-theoretical approach to logic. The interdisciplinary value of such an approach is unquestionable. The book provides a significant reference not only for logicians, set-theorists and, by default, game-theorists, but also for whoever may be interested in novel applications to more applied fields." Debora Di Caprio and Francisco J. Santos-Arteaga, Mathematical Reviews
Dewey Edition
22
Series Volume Number
Series Number 132
Illustrated
Yes
Dewey Decimal
511.34
Table Of Content
Preface; 1. Introduction; 2. Preliminaries and notation; 3. Games; 4. Graphs; 5. Models; 6. First order logic; 7. Infinitary logic; 8. Model theory of infinitary logic; 9. Stronger infinitary logics; 10. Generalized quantifiers; References; Index.
Synopsis
This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht-Fra ss game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko V n nen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized quantifiers. Along the way, the author also proves completeness theorems for many logics, including the cofinality quantifier logic of Shelah, a fully compact extension of first order logic. With over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications., This gentle introduction makes extensive use of three important games in logic: the semantic game, the Ehrenfeucht-Fraïssé game and the model existence game. Over 500 exercises are included and instructors will appreciate the game-theoretical presentation of basic materials as well as more advanced applications., This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht-Fraïssé game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Väänänen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized quantifiers. Along the way, the author also proves completeness theorems for many logics, including the cofinality quantifier logic of Shelah, a fully compact extension of first order logic. With over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications.
LC Classification Number
QA9.7 .V33 2011
Item description from the seller
Popular categories from this store
Seller feedback (14,836)
- j***l (44)- Feedback left by buyer.Past monthVerified purchaseEverything was okey!
- -***c (149)- Feedback left by buyer.Past monthVerified purchaseThank you for a quick and smooth transaction.
- a***y (612)- Feedback left by buyer.Past monthVerified purchase👍
Popular categories from this store
Seller feedback (14,836)
- j***l (44)- Feedback left by buyer.Past monthVerified purchaseEverything was okey!
- -***c (149)- Feedback left by buyer.Past monthVerified purchaseThank you for a quick and smooth transaction.
- a***y (612)- Feedback left by buyer.Past monthVerified purchase👍