Journal of Symbolic Logic, ‎0022-4812

Journal