“...Association for Symbolic Logic ; A K Peters,...”