Л.Д. Беклемишев. Доказуемость и модальная логика. Занятие 1
Vídeos relacionados
1:18:22
А.П. Веселов. Река Конвея и парус Арнольда
1:14:32
Что такое логика доказуемости? // Лев Беклемишев
1:20:38
Lecture 1. L.D. Beklemishev. The Language and Axioms of Peano Arithmetic
1:10:29
Л.Д. Беклемишев. Ординалы и спектры консервативности арифметических теорий
1:37:08
Маргарита Ниязова Современная логика. Лекция 1
1:22:50
Колмогоров и Арнольд // Владимир Тихомиров
1:25:35
ВРЕМЯ НЕЛЬЗЯ ИЗМЕРИТЬ. Семихатов и Сурдин
48:43
"RUSSIA WILL STRIKE THE EU IN A YEAR." A major interview with Karaganov | #Panchenko
1:21:33
От интуиционистской логики к логике задач (Анастасия Оноприенко)
2:01:03
Л.Д. Беклемишев. Беседы об основаниях математики. Беседа 2
1:33:00
Work will take everything from you. The religion of money that has been forced upon us | FIBE
1:07:44