এই পাঠটি: The Journal of symbolic logic.