наша кнопка
|
 570 руб
| Гудстейн, Р.П. |
| Рекурсивный математический анализ |
Серия: Математическая логика и основания математики
1970 г.; Изд-во: М.: Наука
|
| Настоящая книга объединяет переводы книг Р.Гудстейна "Рекурсивная теория чисел" и "Рекурсивный анализ". Р.Гудстейн является автором весьма интересного и своеобразного подхода к построению некоторых фрагментов конструктивного математического анализа. В ... |
 1500 руб
| Ершов, Ю.Л. |
| Теория нумераций |
Серия: Математическая логика и основания математики
1977 г.; Изд-во: М.: Наука
|
| Предлагаемая читателю книга представляет собой введение в проблематику и методы теории нумераций - нового развивающегося раздела теории алгоритмов.
Монография рассчитана на специалистов по теории алгоритмов, но отдельные ее части будут полезны и более... |
490 руб
| Новиков, П.С. |
| Элементы математической логики |
Серия: Математическая логика и основания математики
1973 г.; Изд-во: М.: Наука
|
| Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп.
В настоящей книге сдела... |
670 руб
| Новиков, П.С. |
| Конструктивная математическая логика с точки зрения классической |
Серия: Математическая логика и основания математики
1977 г.; Изд-во: М.: Наука
|
| Дополняет предыдущую книгу "Элементы математической логики". Читается как самостоятельная книга. Подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. Рассматриваются интерпретации конструктивных форм... |
1200 руб
| Яблонский, С.В.; Гаврилов, Г.П.; Кудрявцев, В.Б. |
| Функции алгебры логики и классы Поста |
Серия: Математическая логика и основания математики
1966 г.; Изд-во: М.: Наука
|
| Монография по алгебре логики. В ней систематизируются и излагаются наиболее важные факты, в том числе и те, которые в отечественной литературе раньше не встречались.
Работа состоит из двух частей. В первой части вводятся основные понятия алгебры логик... |
730 руб
| Шенфилд, Дж. |
| Математическая логика |
Серия: Математическая логика и основания математики
1975 г.; Изд-во: М.: Наука
|
| Книга известного американского логика Дж.Шенфилда посвящена основам современной математической логиги и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формал... |
290 руб
| Шенфилд, Дж. |
| Степени неразрешимости |
Серия: Математическая логика и основания математики
1977 г.; Изд-во: М.: Наука
|
| Издательство "Наука" в серии "Математическая логика и основания математики" представляет монографию Шенфилда "Степени неразрешимости", посвященную изложению результатов о тьюринговых степенях. Шенфилд постарался изложить традиционно сложную тему в макс... |
690 руб
| Робинсон, А. |
| Введение в теорию моделей и метаматематику алгебры |
Серия: Математическая логика и основания математики
1967 г.; Изд-во: М.: Наука
|
| Настоящая книга посвящена теории моделей - одной из самых молодых отраслей современной математики, возникшей на стыке алгебры и математической логики. Основное содержание книги составляют теория Геделя о полноте узкого исчисления предикатов и ее примен... |
1500 руб
| Фейс, Р. |
| Модальная логика |
Серия: Математическая логика и основания математики
1974 г.; Изд-во: М.: Наука
|
| Библиографическая редкость!
Модальная логика занимается изучением так называемых модальностей - прежде всего необходимости и возможности: того, что "должно быть", и того, что "может быть".
Настоящая книга задумана как учебник модальной логики, дающ... |
970 руб
| Расева, Е.; Сикорский, Р. |
| Математика метаматематики |
Серия: Математическая логика и основания математики
1972 г.; Изд-во: М.: Наука. Главная редакция Физико-математической литературы
|
| Название этой книги - вовсе не каламбур, как это может показаться на первый взгляд.Метаматематика - это теория, изучающая формализованные математические теории. Формализованная теория - это, грубо говоря, множество некоторых конечных последовательносте... |
4000 руб
| Гильберт, Д.; Бернайс, П. |
| Основания математики. В 2 томах |
Серия: Математическая логика и основания математики
1979-1982 г.; Изд-во: М.: Наука
|
| Перевод с немецкого Н. М. Нагорного. Под ред. и с предисловием С. И. Адяна.
Двухтомная монография занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления матем... |
 3500 руб
|
|
wowik
RU/70)
