Journal Title : Journal of Logic and Computation

Secondary Title :

Parent Database : Oxford University Press

DOI :

ISSN : 1465-363X

ISBN :