Книги Ершов Ю.Л., Палютин Е.А.

В книге изложены основные классические исчисления математической логики:…