Journal of Symbolic Logic, 0022-4812

Journal