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

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

Элементы математчиеской логики
Автор: Новиков, П.С.
Год: 1973
Издание: Наука; Издание 2-е, испр.
Страниц: 400
ISBN: [не указан]
Глава 1. Алгебра высказываний.Глава 2. Исчисление высказываний.Глава 3. Логика предикатов.Глава 4. Исчисление предикатов.Глава 5. Аксиоматическая арифметика.Глава 6. Элементы теории доказательств.
Добавлено: 2009-11-18 20:32:27

Похожие книги

Источник: Новиков, П.С., Элементы математчиеской логики Новиков, П.С.Элементы математчиеской логики Источник: Слупецкий Е., Борковский Л., Элементы математической логики и теория множеств Слупецкий Е., Борковский Л.Элементы математической логики и теория множеств Источник: Кутасов А.Д., Элементы математической логики Кутасов А.Д.Элементы математической логики

Видео о книгах: