Сборник задач по математической логике (исчисления предикатов, теория моделей, теория вычислимости): учебное пособие: [для студентов 2-го курса Мех.-мат. фак. НГУ]

Document Information