логіка

Основи математичної логіки (Дрозд Ю.)

Автори: 
Дрозд Ю.
Рік видання: 
2003
Підручник з математичної логіки, в якому висвітлено основні моменти предмету. 

Конспект лекцій з математичної логіки та теорії алгоритмів (Трохименко В.С.)

Автори: 
Трохименко В.С.
Рік видання: 
2007
Конспект лекцій відповідає діючій програмі з математичної логіки та теорії алгоритмів для математичних спеціальностей педагогічних університетів.