Journal of symbolic logic - New York: The Association for Symbolic Logic, Inc., - Quarterly ISSN: 0022-4812