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

Material type: 図書

Author: -

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

Publication date: -

Material Format: Paper

Capacity, size, etc.: -

NDC: -

View All

Related materials as well as pre- and post-revision versions

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: Математическая логика и основания математики
Publication, Distribution, etc.: "Физико-математическая лит-ры"
Place of Publication (Country Code): ru
Target Audience: 一般
Related Material: Конструктивная математическая логика с точки зрения классической
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
Related Material (URI): https://ci.nii.ac.jp/ncid/BA20977603#entity
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BA20977603 : BA20977603