Числення висловлень: відмінності між версіями
| [неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
An Lung (обговорення | внесок) Немає опису редагування |
An Lung (обговорення | внесок) Немає опису редагування |
||
Рядок 247:
# A. G. Hamilton Logic for Mathematicians, Cambridge University Press, Cambridge UK 1978 ISBN 0-521-21838-1.
# Прийма С.М. Математична логіка і теорія алгоритмів: Навчальний посібник – Мелітополь: ТОВ „Видавничий будинок ММД”, 2008. - 134 с.
# Гасяк О.С. Формальна логіка : короткий словник-довідник. – Чернівці : Чернівецький нац. ун-т, 2014. – 200 с.
== Посилання ==
*[http://leksika.com.ua/10800511/ure/logika_vislovlyuvan УРЕ]
| |||