Skip to main content
Український логічний портал • Ukrainian Logic Portal
Main menu
Ukrainian Logic Society
Енциклопедія
Конференції
Публікації
Семінари й лекції
Форум
Фото
Зараз присутні
There are currently 0 users online.
Вхід
Log in using OpenID
What is OpenID?
Користувач
*
Пароль
*
Log in using OpenID
Cancel OpenID login
Просити новий пароль
Навіґація
Про LNU
ULS
Блоги
Книги
Форуми
Recent posts
Список користувачів
Пошук
Підказки публікування
You are here
Головна
›
Семінари й лекції
2016
Сб, 23/04/2016 - 22:13 —
Ярослав Кохан
Доповідь Фредріка Гаралдсена про фіктивні об’єкти
Доповідь «Складність фрагментів логіки першого порядку з двома змінними»
Доповідь «Складність проблеми розв’язання логіки першого порядку з двома змінними»
‹ Доповідь «Логічні структури як аналог математичних структур»
вгору
Доповідь Фредріка Гаралдсена про фіктивні об’єкти ›
Версія для друку
Log in
to post comments