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

Logic journal of the IGPL.

Contributor(s): Material type: Continuing resourcePublisher: Oxford : Oxford University Press, 1993-Description: 1 online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISSN:
  • 1368-9894
Subject(s): Additional physical formats: Print version :: No titleDDC classification:
  • 511.305 23
LOC classification:
  • QA9.A1
Online resources: 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.Continues: Bulletin of the IGPLContinues: Journal of the IGPL
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Title change: Bulletin of the IGPL (1993-1994); Journal of the IGPL (1995-1996); Logic Journal of the IGPL (1997-).

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.

Description based on online resource; title from home page (viewed on August 30, 2016).

There are no comments on this title.

to post a comment.

The Great Heights University Library

Access academic books, journals, and digital learning resources through the GHU Library platform.

Quick Links

Support

Email: library@ghu.ac.zw

Web: www.ghu.ac.zw

© 2026 Great Heights University. All rights reserved.