Математика, статистика

Список источников >Наука и образование >Математика, статистика >

Элементы математчиеской логики

Автор: Новиков, П.С.
Год: 1973
Издание: Наука; Издание 2-е, испр.
Страниц: 400
ISBN: [не указан]

Глава 1. Алгебра высказываний.Глава 2. Исчисление высказываний.Глава 3. Логика предикатов.Глава 4. Исчисление предикатов.Глава 5. Аксиоматическая арифметика.Глава 6. Элементы теории доказательств.

Добавлено: 2009-11-18 20:32:27