BULLETIN OF SYMBOLIC LOGIC
Multiple Vendors