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

Список источников >Математика >Алгебра >Математическая логика >

Теория формальных систем

Автор: Смальян Р.
Год: 1981
Издание:

Страниц: [не указано]
ISBN: [не указан]
В этой книге в систематической форме и, фактически, начиная с , излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгоритма.
Добавлено: 2009-08-09 01:26:36

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

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

Рейтинг@Mail.ru

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