Перейти до основного вмісту
Розділи та колекції
Пошук за критеріями
Статистика
English
Українська
Увійти
Увійти
Новий користувач? Зареєструйтесь.
Забули пароль?
Головна
Філософський факультет
Наукові роботи. Філософський факультет
Наукові роботи. Філософський факультет
Постійне посилання колекції
https://ekhnuir.karazin.ua/handle/123456789/578
Переглянути
Пошук
За датою
За автором
За назвою
За ключовими словами
За предметною катагорією
Пошук
За датою
За автором
За назвою
За ключовими словами
За предметною катагорією
1 результатів
Повернутись до результатів
Фільтри
Автор
1
search.filters.author.Калюжний, Володимир Миколайович
1
search.filters.author.Калюжный, Владимир Николаевич
Ключові слова
search.filters.subject.модель
1
search.filters.subject.MATHEMATICS
1
search.filters.subject.обчислення
1
search.filters.subject.предикат
1
search.filters.subject.формальна семантика
Пошук за ключовими словами
Шукати
Дата
Початок
Кінець
Шукати
1987
1
Містить файли
1
Так
Скинути фільтри
Налаштування
Сортувати за
Дата доступу за спаданням
Актуальність
У порядку збільшення за назвою
Дата випуску за спаданням
Результатів на сторінку
1
5
10
20
40
60
80
100
Пошук
Кінцева дата: 1989
×
Ключові слова: search.filters.subject.модель
×
Засоби пошуку
Результати пошуку
Зараз показуємо
1 - 1 з 1
Документ
Теоретико-множественная семантика одной системы "обыденной логики"
(
Москва : Издательство "Наука", ГРВЛ
,
1987
)
Калюжный, Владимир Николаевич
;
Калюжний, Володимир Миколайович
Показати більше
Побудовано формальну семантику для обчислення повсякденної логіки, побудованої Ю.І. Левіним.
Показати більше
