Вы здесь

Теория сложности доказательств. Лекция 2

Лекция
Предмет:
Лектор:
Дата записи:
01.03.11
Дата публикации:
23.09.10
Код для блога:

Системы Фреге

Страница лекции на сайте Computer Science клуба

Дополнительные материалы: 
Иконка PDF 20100923_proof_complexity_hirsch_lecture02.pdf