Современный толковый словарь - тарский (тarski) альфред (1902-83)
Тарский (тarski) альфред (1902-83)
тарский (тarski) альфред (1902-83) польский и американский логик и математик, один из главных представителей львовско-варшавской школы. С 1939 в США. Труды по логико-алгебраической теории моделей, методам изучения исчисления предикатов. Основоположник логической семантики как дедуктивной теории. .
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1123 | |
2 | 819 | |
3 | 817 | |
4 | 808 | |
5 | 786 | |
6 | 758 | |
7 | 757 | |
8 | 662 | |
9 | 633 | |
10 | 609 | |
11 | 581 | |
12 | 571 | |
13 | 569 | |
14 | 566 | |
15 | 563 | |
16 | 548 | |
17 | 539 | |
18 | 533 | |
19 | 531 | |
20 | 530 |