Ebook: Основы математической логики: Учебное пособие

В пособии излагаются первоначальные сведения из основных разделов курса “математическая логика”: логики высказываний, логики предикатов и аксиоматического метода. Предназначено для студентов, обучающихся по направлению подготовки “Прикладная информатика”.