Journal of logic and computation.
Oxford : Oxford University Press,
1990-
Title from cover.
Logic design
Computational complexity