Элементы математической логики
Новиков П.С.
Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин , который в первом издании использовался как синоним термина . Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул
