Яворская Т.Л. - Математическая логика. Часть 1 - 4. Логика предикатов
57:43
Яворская Т.Л. - Математическая логика. Часть 1 - 5. Теорема Гёделя о полноте логики первого порядка
18:30
Введение в логику, урок 4: Предикаты и кванторы | Хекслет
1:21:52
Яворская Т.Л. - Математическая логика. Часть 1 - 1. Классическая логика высказываний
1:14:09
Яворская Т.Л. - Математическая логика - 4. Логика I порядка. Синтаксис и семантика
12:42
Что такое исчисление предикатов первого порядка? Душкин объяснит
1:18:51
Яворская Т.Л. - Математическая логика - 1. Логика высказываний
1:41:25
Chopin - Nocturnes
3:02:45