Normal view MARC view ISBD view

Logic journal of the IGPL. - 1 online resource - Six times a year - 1993-

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.

ISSN: 1368-9894

Subjects--Topical Terms:
Logic, Symbolic and mathematical--Periodicals.
Popular Science and Nature.

LC Class. No.: QA9.A1

Dewey Class. No.: 511.305