Die Association for Symbolic Logic (ASL) ist die größte internationale Organisation von Logikern (mathematische Logiker und Philosophen). Sie wurde 1936 gegründet und hat ihren Sitz am Vassar College in Poughkeepsie im US-Bundesstaat New York. Erster Präsident war Alonzo Church. Vorsitzender ist zur Zeit Alex J. Wilkie. Die Organisation gibt d...