Одеська національна наукова бібліотека

Повернутися до сайту ОННБ
Бібліотека працює:
понеділок, вівторок, середа, четвер, субота і неділя – з 10.00 до 18.00
Вихідний день – п’ятниця. Останній четвер місяця – санітарний день

Електронний каталог

Відображає документи,
що надійшли до бібліотеки з 2001 р.

Пошук :

  • Нові надходження
  • Простий пошук

  • Автори
  • Видавництва
  • Серії
  • Тезауруси
  • Індекси УДК

Довідка :

  • Як освоїти пошук в ЕК

  • Приклади оформлення бланка вимоги

  • Перелік наукових спеціальностей

  • Скорочені таблиці УДК українською мовою на веб-сайті UDCS

Електронний каталог : Гасяк, Орест Сильвестрович - Формальна логіка. Розв'язкові процедури, алгоритми, словник базових термінів і понять

Гасяк, Орест Сильвестрович - Формальна логіка. Розв'язкові процедури, алгоритми, словник базових термінів і понять

Формальна логіка. Розв'язкові процедури, алгоритми, словник базових термінів і понять
Недоступно
 0 из 1
Книга
Автор: Гасяк, Орест Сильвестрович
Формальна логіка. Розв'язкові процедури, алгоритми, словник базових термінів і понять : навч. посіб.
Видавництво: ЧНУ, 2015 г.
ISBN відсутній

(UA) Книга
II> 39068
791801 Главный филиал

Гасяк, Орест Сильвестрович.
Формальна логіка. Розв'язкові процедури, алгоритми, словник базових термінів і понять : навч. посіб. / Орест Сильвестрович Гасяк, Чернів. нац. ун-т ім. Ю. Федьковича.– Вид. 2-ге, перероб. і допов.– Чернівці : ЧНУ, 2015.– 543 с.
100 пр.– Бібліогр. в кінці тем . – На укр. яз. : 56.00.

ББК Ю4в016я73-1

-- 1. Логіка, формальна – Підручники, посібники. 2. Логіка, формальна – Термінологія.



© Одеська національна наукова бібліотека 2012—2025