|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Two-level version of sequent logic: completeness and consistency aspectsтезисы доклада
- Авторы: Kuzichev Alexander, Kuzicheva Karolina
- Сборник: Logic, Methodology and Philosophy of Science. Proceedings of the 14th International Congress (Nancy 2011)
- Серия: ICLMPS
- Тезисы
- Год издания: 2011
- Место издания: Division of Logic, Methodology and Philosophy of Science of the International Union of History and Philosophy of Science Nancy
- Первая страница: 36
- Добавил в систему: Кузичев Александр Сергеевич