Реєстрація
Користувач
Пароль
 

Каталоги бібліотек установ Національної академії наук України

Бази даних


Інститут теоретичної фізики імені М. М. Боголюбова - результати пошуку


Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
 Знайдено в інших БД:Національна бібліотека України імені В. І. Вернадського (1)Інститут математики (3)
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>K=МЕТАМАТЕМАТИК$<.>)
Загальна кількість знайдених документів : 3
Представлено документи з 1 до 3
1.

Клини, С. К.
Введение в метаматематику / Клини С.К. - Москва : Ин. лит., 1957. - 526 с. - Б. ц.

Кл.слова: Математическая логика рекурсивные функции метаматематика -- математическая -- логика -- рекурсивные -- функции -- метаматематика
2.

Расёва, Е.
Математика метаматематики / Расёва Е., Сикорский Р. - Москва : Наука, 1972. - 591 с. - (Математическая логика и основания математики). - Б. ц.

Кл.слова: Математическая логика булевы алгебры решетки  -- математическая -- логика -- булевы -- алгебры -- решетки

Дод. точки доступу:
Сикорский, Р.
3.

Робинсон, А.
Введение в теорию моделей и метаматематику алгебры / Робинсон А. - Москва : Наука, 1967. - 376 с. - (Математическая логика и основания математики). - Б. ц.

Кл.слова: Математическая логика теория идеалов многообразий -- математическая -- логика -- теория -- идеалов -- многообразий
 
Інститут теоретичної фізики імені М. М. Боголюбова

Всі права захищені © Національна бібліотека України імені В. І. Вернадського