Математическая логика.

Цена: 150.00 руб.

Количество:

Автор: Гудстейн Р.Л.
Год: 1961
Серия: Библиотека сборника Математика.
Место издания: М.
Издательство: Издательство иностранной литературы.
Страниц: 164 с.
Тип переплета: Мягкий
Формат книги: Стандартный
Состояние: Очень хорошее.
Описание: Исчисление предложений. Исчисление предикатов. Теория чисел. Неполнота арифметики. Расширенная логика предикатов. Книга рассчитана на математиков, имеющих лишь небольшие предварительные познания в области мат. Логики или даже совсем не знакомых с ней, и в значительной степени независима от других книг в том смысле, что доказательства всех наиболее важных результатов проводятся подробно. Большое число различных аспектов рассматриваемого предмета лишь кратко намечено, но строгость изложения нигде не приносилась сознательно в жертву легкости чтения.