TY  - SER
ED  - Interest Group in Pure and Applied Logics.
TI  - Logic journal of the IGPL
SN  - 1368-9894
AV  - QA9.A1 
U1  - 511.305 23
PY  - 1993///-
CY  - Oxford
PB  - Oxford University Press
KW  - Logic, Symbolic and mathematical
KW  - Periodicals
KW  - Popular Science and Nature
KW  - ukslc
N1  - Title change: Bulletin of the IGPL (1993-1994); Journal of the IGPL (1995-1996); Logic Journal of the IGPL (1997-)
N2  - 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
UR  - https://academic.oup.com/jigpal
ER  -