Models and games (Record no. 54498)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01589 a2200217 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 210325b ||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780521518123 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.34 |
Item number | VAA |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Vaananen, Jouko |
245 ## - TITLE STATEMENT | |
Title | Models and games |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Name of publisher, distributor, etc | Cambridge University Press, |
Date of publication, distribution, etc | 2011. |
Place of publication, distribution, etc | Cambridge: |
300 ## - PHYSICAL DESCRIPTION | |
Extent | ix,367 p. : ill. ; |
Other physical details | hb, |
Dimensions | 24 cm. |
365 ## - TRADE PRICE | |
Price type code | GBP |
Price amount | 57.99 |
440 ## - SERIES STATEMENT/ADDED ENTRY--TITLE | |
Title | Cambridge studies in advanced mathematics ; 132 |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Includes bibliographical references (pages 353-361) and index. |
520 ## - SUMMARY, ETC. | |
Summary, etc | 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. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Model theory |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | General principles of mathematics |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Mathematics |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Dewey Decimal Classification |
Item type | Books |
Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Cost, replacement price | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dewey Decimal Classification | General | IIT Gandhinagar | IIT Gandhinagar | General Stacks | 22/03/2021 | Himanshu Books | 6039.08 | 511.34 VAA | 030136 | 22/03/2021 | 1 | 6039.08 | Books |