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

資料種別: 図書

著者: -

出版者: "Физико-математическая лит-ры"

出版年: -

資料形態: 紙

ページ数・大きさ等: -

NDC: -

すべて見る

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

CiNii Research
検索サービス
紙
連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。
この本の所蔵を確認

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
タイトル: Математическая логика и основания математики
出版事項: "Физико-математическая лит-ры"
出版地（国名コード）: ru
対象利用者: 一般
関連情報: Конструктивная математическая логика с точки зрения классической
https://cir.nii.ac.jp/crid/1130000794016008192
Основания математики : логические исчисления и формализация арифметики
https://cir.nii.ac.jp/crid/1130000794077041152
Математическая логика
https://cir.nii.ac.jp/crid/1130000794583905152
Десятая проблема Гильберта
https://cir.nii.ac.jp/crid/1130000794731531520
Основания интуиционистской математики с точки зрения теории рекурсивных функций
https://cir.nii.ac.jp/crid/1130000794802221184
Конечные автоматы (поведение и синтез)
https://cir.nii.ac.jp/crid/1130000795175323264
Лекции по конструктивному математическому анализу
https://cir.nii.ac.jp/crid/1130000796037925632
Лекции о вычислимых функциях
https://cir.nii.ac.jp/crid/1130000796819122432
Элементы математической логики
https://cir.nii.ac.jp/crid/1130000797300115200
Элементы математической логики
https://cir.nii.ac.jp/crid/1130000797536748288
Математическая логика и автоматическое доказательство теорем
https://cir.nii.ac.jp/crid/1130000797598425600
Функции алгебры логики и классы поста
https://cir.nii.ac.jp/crid/1130000797729562624
Основания математики : логические исчисления и формализация арифметики
https://cir.nii.ac.jp/crid/1130000797935964800
Введение в теорию моделей и метаматематику алгебры
https://cir.nii.ac.jp/crid/1130000798007796992
Синтез цифровых автоматов
https://cir.nii.ac.jp/crid/1130000798301060608
Теория алгорифмов
https://cir.nii.ac.jp/crid/1130282268825202688
Теория формальных систем
https://cir.nii.ac.jp/crid/1130282268904213888
Модальная логика
https://cir.nii.ac.jp/crid/1130282269160373888
Рекурсивный математический анализ
https://cir.nii.ac.jp/crid/1130282269492764672
Степени неразрешимости
https://cir.nii.ac.jp/crid/1130282270023778304
Теория нумераций
https://cir.nii.ac.jp/crid/1130282270989516800
Математика метаматематики
https://cir.nii.ac.jp/crid/1130282271176400512
Математический интуиционизм ; введение в теорию доказательств
https://cir.nii.ac.jp/crid/1130282271799492224
Математическая теория логического вывода
https://cir.nii.ac.jp/crid/1130282271855705344
Проблемы разрешимости и конструктивные модели
https://cir.nii.ac.jp/crid/1130282271955957248
Основания математики : теория доказательств
https://cir.nii.ac.jp/crid/1130282272691315968
Математическая логика
https://cir.nii.ac.jp/crid/1130858596795690155
関連情報（URI）: https://ci.nii.ac.jp/ncid/BA20977603#entity
連携機関・データベース: 国立情報学研究所 : CiNii Research
提供元機関・データベース: CiNii Books
https://ci.nii.ac.jp/books
NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA20977603 : BA20977603