Finite Model Theory (Record no. 13197)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01129pam a2200217 a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 950712s1995 gw a b 001 0 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 354060149X |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
| Universal Decimal Classification number | 510.6 |
| Item number | EBB |
| 100 1# - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Ebbinghaus, Heinz-Dieter |
| 245 10 - TITLE STATEMENT | |
| Title | Finite Model Theory |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Berlin |
| Name of publisher | Springer |
| Year of publication | 1995 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | xv, 327p |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE | |
| Title | Perspectives in Mathematical Logic |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 1. The Ehrenfeucht-Fraisse Method<br/>2. More on Games<br/>3. 0-1 Laws<br/>4. Satisfiability in the Finite<br/>5. Finite Automata and Logic: A Microcosm of Finite Model Theory<br/>6. Descriptive Complexity Theory<br/>7. Logics with Fixed-Point Operators<br/>8. Logic Programs<br/>9. Optimization Problems<br/>10. Quantifiers and Logical Reductions |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | A study which presents the results of descriptive complexity theory, the connection between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The parts on the model theory and descriptive complexity theory may also be read independently. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Model theory |
| 690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Topical term or geographic name as entry element | Mathematics |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Flum, Jörg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | BOOKS |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Full call number | Accession Number | Koha item type |
|---|---|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | First Floor, Rack No: 28, Shelf No: 1 | 510.6 EBB | 32669 | BOOKS |