A shorter model theory / (Record no. 183414)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01322nam a2200205 4500 |
| 001 - CONTROL NUMBER | |
| control field | vtls002064860 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | MY-SjTCS |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200226121449.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 110218 00 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0521587131 |
| 039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] | |
| Level of rules in bibliographic description | 201102181409 |
| Level of effort used to assign nonsubject heading access points | VLOAD |
| -- | 200407271922 |
| -- | VLOAD |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| Item number | HOD |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Hodges, Wilfrid. |
| 9 (RLIN) | 12611 |
| 245 12 - TITLE STATEMENT | |
| Title | A shorter model theory / |
| Statement of responsibility, etc. | Wilfrid Hodges. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cambridge, U.K. : |
| Name of publisher, distributor, etc. | Cambridge University Press, |
| Date of publication, distribution, etc. | 1997 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | x, 310 p. ; |
| Dimensions | 23 cm. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading. - Back cover. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Model theory. |
| 920 ## - Programme | |
| Programme | GEN : 102405 |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Total Checkouts | Barcode | Date last seen | Date last checked out | Copy number | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Withdrawn | Dewey Decimal Classification | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 | TC External Storage | TC External Storage | 13/05/2009 | 5000084873 | 12/12/2019 | 13/05/2009 | 1 | Main Collection | GENxx,GENxx,03,GR |