Interpolation and definability (Record no. 418591)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01674nam a2200397 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | EDZ0000073155 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | StDuBDS |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20161018085036.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
| fixed length control field | m||||||||d|||||||| |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr|||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 091008s2005 enka fo 001 0 eng|d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Cancelled/invalid ISBN | 9780191705779 (ebook) : |
| Terms of availability | No price |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780198511748 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | StDuBDS |
| Transcribing agency | StDuBDS |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | Alfaisal Main Library |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA9.46 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| Edition number | 22 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Gabbay, Dov M., |
| Dates associated with a name | 1945- |
| 245 10 - TITLE STATEMENT | |
| Title | Interpolation and definability |
| Medium | [electronic resource] : |
| Remainder of title | modal and intuitionistic logic / |
| Statement of responsibility, etc | D.M. Gabbay, L. Maksimova. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Oxford : |
| Name of publisher, distributor, etc | Oxford University Press, |
| Date of publication, distribution, etc | 2005. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (xiv, 508 p.) : |
| Other physical details | ill. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Oxford logic guides ; |
| Volume number/sequential designation | 46 |
| 520 8# - SUMMARY, ETC. | |
| Summary, etc | This monograph looks at interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming philosophy of science, and natural language. |
| 588 ## - | |
| -- | Description based on print version record. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliographical references and index. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Modality (Logic) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Interpolation. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Definability theory (Mathematical logic) |
| 655 #7 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Electronic books. |
| Source of term | local |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Maksimova, L. L. |
| Fuller form of name | (Larisa L�vovna) |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Oxford eBooks. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Print version |
| International Standard Book Number | 9780198511748 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Oxford logic guides ; |
| Volume number/sequential designation | 46. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="http://ezproxy.alfaisal.edu/login?url=http://dx.doi.org/10.1093/acprof:oso/9780198511748.001.0001">http://ezproxy.alfaisal.edu/login?url=http://dx.doi.org/10.1093/acprof:oso/9780198511748.001.0001</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | eBooks |
No items available.