Ассоциация символической логики

Определение "Ассоциация символической логики" в Большой Советской Энциклопедии

Ассоциация символической логики (англ. Association for symbolic logic), крупнейшая американская организация современных логиков, фактически является международной. Создана в 1936 по инициативе К. Дюкасса (первый президент Ассоциация символической логики), А. Чёрча, Х. Кёрри, К. Льюиса и др. Её цель — способствовать исследованиям по символической (формальной, математической) логике и непосредственно связанным с нею областям. Членом Ассоциация символической логики может быть любой учёный или научное учреждение из любой страны мира, интересующиеся символической логикой. На начало 1969 имелось 48 институциональных и 1568 индивидуальных (из них 406 иностранных, включая представителей СССР) членов Ассоциация символической логики Официальный орган Ассоциация символической логики — «Journal of Symbolic Logic», выходящий ежеквартально С 1936.
  И. С. Добронравов.