|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Arithmetical semantics of First-order logic of proofsдоклад на конференции
- Авторы: Артемов Сергей Николаевич, Яворская Татьяна Леонидовна
- Международная Конференция (Семинар (workshop)) : Explicit Paradigms in Logic and Computer Science
- Даты проведения конференции: 4-6 июня 2012
- Дата доклада: 6 июня 2012
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Берн, Switzerland
-
Аннотация доклада:
Описана логика доказательств первого порядка и ее арифметическая семантика.
- Добавил в систему: Яворская Татьяна Леонидовна