Справочная книга по математической логике В 4-х ч. Пер. с англ. Ч. 4. Теория доказательств и конструктивная математика / [К. Сморинский, Г. Швихтенберг, Р. Стетмен и др. ]; Пер. Г. В. Давыдова, Г. Е. Минца; Под ред. В. П. Оревкова

Bibliographic Details
Other Authors:	Сморинский, К. (В. П.), Швихтенберг, Г., Стетмен, Р., Барвайс, Дж (Editor)
Format:	eBook
Language:	Russian
Published:	М. Наука 1983
Subjects:	Доказательства [мат.] - (ч. 4) Конструктивная математика - (ч. 4) математическая логика. сборники
Online Access:	http://sun.tsu.ru/limit/2016/000153863/000153863.djvu Перейти в каталог НБ ТГУ

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number:	1-514395
	Available Place a Hold

Similar Items