City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Ультрафильтры и теорема о компактности
Computability and logic
What:
Lecture
When:
Wednesday, 30 November 2011, 18:30–19:50
Where:
ПОМИ РАН
Description
Гильбертовское исчисление предикатов. Генценское исчисление секвенций.
Video
