Справoчная книга пo математическoй лoгике [текст] : в 4 частях : перевод с английского. Ч. 4 : Теория доказательств и конструктивная математика / под ред. Дж. Барвайса. - Москва : Наука, 1983. - 391 с. : ил. - Изд. выходит с 1982 г. - Библиогр. в конце глав; Предм. указ.: с. 383-388.



Основное заглавие: Справочная книга по математической логике

Сведения, относящ. к заглавию: в 4 частях : перевод с английского

Ответственность: под ред. Дж. Барвайса

Физический носитель: текст

Название части / раздела: Теория доказательств и конструктивная математика

Год публикации: 1983

Место издания: Москва

Издательство: Наука

Объем: 391 с.

Примечание: Изд. выходит с 1982 г.

Ключевые слова: Математическая логика; Логика; Доказательств теория; Конструктивная математика; Математика;

ББК: 22.122

Библиография: Библиогр. в конце глав; Предм. указ.: с. 383-388

2046201
 
Справoчная книга пo математическoй лoгике [текст] : в 4 частях : перевод с английского. Ч. 4 : Теория доказательств и конструктивная математика / под ред. Дж. Барвайса. - Москва : Наука, 1983. - 391 с. : ил. - Изд. выходит с 1982 г. - Библиогр. в конце глав; Предм. указ.: с. 383-388.
ББК 22.122
2046201-кх;
Находится: СОУНБ | Чтобы заказать это издание, а так же копию его фрагмента, вам необходимо авторизоваться на нашем сайте.
№ Инвентарный
номер		 Сигла Статус Дата возврата
1 2046201 кх Доступна -
Х

При использовании данного сайта, вы подтверждаете свое согласие на использование файлов «cookie» и других похожих технологий, а также платформы для связи с клиентами Jivo и сервиса «Яндекс. Метрика», «Яндекс Метрика для приложений» (AppMetrica), которое является частью политики ГБУК «СОУНБ» в отношении обработки персональных данных . Вы всегда можете отключить Cookie-файлы в настройках Вашего браузера