TY  - SER
TI  - Journal of Logic and Computation [electronic resource]
SN  - Online : 
PB  - Oxford University Press
UR  - http://logcom.oxfordjournals.org/
ER  -