TY - SER ED - Interest Group in Pure and Applied Logics TI - Logic journal of the IGPL SN - 1367-0751 AV - QA9 LOG PY - 1997///- CY - Oxford PB - Oxford University Press ER -