Пошук :
Довідка :
Електронний каталог : Шевельова, Алла Євгенівна - Формальне доведення теорем числення висловлювань
Шевельова, Алла Євгенівна - Формальне доведення теорем числення висловлювань
Книга
Автор: Шевельова, Алла Євгенівна
Формальне доведення теорем числення висловлювань : навч. посіб.
Видавництво: Ліра, 2023 г.
ISBN 978-966-981-713-6
Автор: Шевельова, Алла Євгенівна
Формальне доведення теорем числення висловлювань : навч. посіб.
Видавництво: Ліра, 2023 г.
ISBN 978-966-981-713-6
(UA) Книга
X> 10661
922443 Главный филиал
Шевельова, Алла Євгенівна.
Формальне доведення теорем числення висловлювань : навч. посіб. / Алла Євгенівна Шевельова, Дніпров. нац. ун-т ім. Олеся Гончара.– Дніпро : Ліра, 2023.– 79 с. : табл.
20 пр.– Бібліогр.: с. 75 . – На укр. яз.
ISBN 978-966-981-713-6.
X> 10661
922443 Главный филиал
Шевельова, Алла Євгенівна.
Формальне доведення теорем числення висловлювань : навч. посіб. / Алла Євгенівна Шевельова, Дніпров. нац. ун-т ім. Олеся Гончара.– Дніпро : Ліра, 2023.– 79 с. : табл.
20 пр.– Бібліогр.: с. 75 . – На укр. яз.
ISBN 978-966-981-713-6.