Элементарное введение в математическую логику

📓 В настоящей книге автор поставил перед собой задачу дать для этого широкого круга читателей элементарное изложение начал математической логики и некоторых ее приложений. Учитывая, что под названием "математическая логика" в настоящее время объединяется весьма обширная и глубокая научная проблематика, что в состав математической логики, кроме классической логики высказываний и предикатов, начала которых излагаются в этой книге, входит ряд других логических систем и теорий (конструктивная логика, системы модальной логики, многозначные логики, теория алгоритмов и др.), настоящая книга не может рассматриваться как введение в математическую логику в целом.