GHU Logo
The Great Heights University Library
Academic discovery, digital access, and research support

Logic journal of the IGPL. (Record no. 8939)

MARC details
000 -LEADER
fixed length control field 01703nas a2200397 i 4500
001 - CONTROL NUMBER
control field 13689894
003 - CONTROL NUMBER IDENTIFIER
control field StDuBDS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20260610093708.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr||||||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 160830c19939999enk|| p|o|||| 0 |2eng|d
022 ## - INTERNATIONAL STANDARD SERIAL NUMBER
International Standard Serial Number 1368-9894
Incorrect ISSN 0945-9103
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)796022236
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 QA9.A1
072 #7 - SUBJECT CATEGORY CODE
Subject category code SCP
Source ukslc
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.305
Edition information 23
245 00 - TITLE STATEMENT
Title Logic journal of the IGPL.
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 1993-
300 ## - online resource
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 1993-
500 ## - GENERAL NOTE
General note Title change: Bulletin of the IGPL (1993-1994); Journal of the IGPL (1995-1996); Logic Journal of the IGPL (1997-).
520 8# - SUMMARY, ETC.
Summary, etc. Logic Journal of the IGPL publishes papers in all areas of pure and applied logic, including pure logical systems, proof theory, model theory, recursion theory, type theory, nonclassical logics, nonmonotonic logic, numerical and uncertainty reasoning, logic and AI, foundations of logic programming, logic and computation, logic and language, and logic engineering.
588 ## - SOURCE OF DESCRIPTION NOTE
Source of description note Description based on online resource; title from home page (viewed on August 30, 2016).
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical
Form subdivision Periodicals.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Popular Science and Nature.
Source of heading or term ukslc
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element Interest Group in Pure and Applied Logics.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version :
International Standard Serial Number 0945-9103
780 00 - PRECEDING ENTRY
Title Bulletin of the IGPL
780 00 - PRECEDING ENTRY
Title Journal of the IGPL
856 40 - ELECTRONIC LOCATION AND ACCESS
Materials specified Oxford journals
Uniform Resource Identifier <a href="https://academic.oup.com/jigpal">https://academic.oup.com/jigpal</a>

No items available.