Зведений каталог бібліотек Тернополя

 

22.12
М34Латонин, Л. А.
    Математическая логика [Текст] : учебное пособие для студ. мат. спец. пед. ин-тов / под общей редакцией проф. А. А. Столяра. — Минск : Вышэйшая школа, 1991. — 269 с.
ISBN 5-339-00342-6


- Анотація:

Логика высказываний, логика предикатов, математические теории, алгоритмы.

- Теми документа

  • ББК // 22.12 Основи математики. Математична логіка
  • ББК // 22.1я73 Підручники і посібники з математики для вищої школи
  • Алфавітно-предметний покажчик до ББК // Теорія алгоритмів 22.127



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Тернопільського національного педагогічного університету імені Володимира Гнатюка 98 Перейти на сайт