000 -LEADER |
fixed length control field |
02071nas a2200349 i 4500 |
001 - CONTROL NUMBER |
control field |
EDZ0001561527 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
StDuBDS |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20210902223556.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 |
160928d19902016enk|| 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 |
Modifying agency |
MY-SjTCS |
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-2016 |
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). |
590 ## - LOCAL NOTE (RLIN) |
Local note |
Lakeside: 2010 - 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 |
Uniform Resource Identifier |
https://ezproxy.taylors.edu.my/login?url=https://academic.oup.com/logcom |
Public note |
The journal accessible through the World Wide Web; click to view |
999 ## - SYSTEM CONTROL NUMBERS (KOHA) |
Koha biblionumber |
186889 |
Koha biblioitemnumber |
186889 |