Простий пошук
|
Розширений пошук
|
Алфавітні покажчики
|
Бази даних
Наукова електронна бібліотека - результати пошуку
Віртуальна довідкаТематичний інтернет-навігаторНаукова електронна бібліотекаАвтореферати дисертаційРеферативна база данихКнижкові видання та компакт-дискиЖурнали та продовжувані видання
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
| Формат представлення знайдених документів: | ||
| повний | стислий | |
| Знайдено в інших БД: | Книжкові видання та компакт-диски (1) |
Пошуковий запит: (<.>A=ПЕРЕТЯТЬКИН$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| Тип видання: навчальний посібник | Категорія: Математика | ||
| 1. | Рубрики:
Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота — Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой. Кл.слова: математична логіка | ||
Повний текст доступний у читальних залах НБУВВсі права захищені © Національна бібліотека України імені В. І. Вернадського