Association of Symbolic Logic