Ультрафильтры и теорема о компактности

Среда, 30 ноября 2011, 18:30–19:50
ПОМИ РАН

Описание

Гильбертовское исчисление предикатов. Генценское исчисление секвенций.