Поиск значения / толкования слов

Раздел очень прост в использовании. В предложенное поле достаточно ввести нужное слово, и мы вам выдадим список его значений. Хочется отметить, что наш сайт предоставляет данные из разных источников – энциклопедического, толкового, словообразовательного словарей. Также здесь можно познакомиться с примерами употребления введенного вами слова.

Большая Советская Энциклопедия

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

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

И. С. Добронравов.