Buy One, Get One Free!!! | Journal of Logic and Computation | DeepDyve