Journal of logic and computation. (Record no. 19651)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01927nas a2200337 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | EDZ0001561527 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | StDuBDS |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250228152139.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m||||fo||j|||||||| |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr|||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 160928c19909999enk|| p| |||| 0 |2eng|d |
| 022 ## - INTERNATIONAL STANDARD SERIAL NUMBER | |
| International Standard Serial Number | 1465-363X |
| Incorrect ISSN | 0955-792X |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | StDuBDS |
| Language of cataloging | eng |
| Transcribing agency | StDuBDS |
| Description conventions | rda |
| -- | pn |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.63 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.115 |
| Edition number | 23 |
| 245 00 - TITLE STATEMENT | |
| Title | Journal of logic and computation. |
| 264 31 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Oxford : |
| Name of producer, publisher, distributor, manufacturer | Oxford University Press, |
| Date of production, publication, distribution, manufacture, or copyright notice | 1990- |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource |
| 310 ## - CURRENT PUBLICATION FREQUENCY | |
| Current publication frequency | Six times a year |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Source | rdacarrier |
| 362 1# - DATES OF PUBLICATION AND/OR SEQUENTIAL DESIGNATION | |
| Dates of publication and/or sequential designation | 1990- |
| 520 8# - SUMMARY, ETC. | |
| Summary, etc. | The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths, logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included. |
| 588 ## - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Description based on online resource; title from home page (viewed on September 28, 2016). |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logic programming |
| Form subdivision | Periodicals. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logic, Symbolic and mathematical |
| Form subdivision | Periodicals. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computational complexity |
| Form subdivision | Periodicals. |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version : |
| International Standard Serial Number | 0955-792X |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Oxford journals |
| Uniform Resource Identifier | <a href="https://academic.oup.com/logcom">https://academic.oup.com/logcom</a> |
No items available.