TY  - SER
TI  - Journal of logic and computation
SN  - 0955-792X
AV  - QA76.63 
U1  - 001.535 
CY  - Oxford
PB  - Oxford University Press
ER  -