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

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

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

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

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

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы