TY - SER TI - Logic journal of the IGPL PB - Oxford University Press ER -