Meeting of the association for symbolic logic
scientific article