М.: Московский институт электронного машиностроения, 1974. — 135 с. Учебное пособие.
Книга представляет собой оригинальное и весьма интересное введение в математическую логику. Автор - выдающийся отечественный математик - Юрий Иванович Манин. В первой части рассматриваются язык высказываний, язык предикатов, проблема континуума.
Качество файла - среднее.