Печёнкин А. А. - Философия науки - Лекция 8

Аватар автора
Teach-In
Теории первого порядка 00:04:11 Аксиоматизация Клини 00:09:47 Доказательство теоремы 00:32:09 Исчисление предикатов 00:50:30 Аксиоматизация формальной арифметики Дедекинда

0/0


0/0

0/0

0/0

0/0