В этой книге в систематической форме и, фактически, начиная с , излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгоритма.
На нашем сайте вы можете скачать книгу "Теория формальных систем" Смальян Р бесплатно и без регистрации в формате djvu, читать книгу онлайн или купить книгу в интернет-магазине.
