Математическая теория логического вывода. Сборник переводов. / Идельсон А В., Минц Г Е. (ред.)

Другие авторы:

Выходные данные: Москва: Наука, 1967Физическая характеристика: 350 сСерия: Математическая логика и основания математикиУДК:51:164

Тип экземпляра: Книга

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Статус	Срок возврата	Штрих-код
Книга	Институт прикладной математики им. М.В. Келдыша		Доступно
Книга	Институт прикладной математики им. М.В. Келдыша	51:164/М-34	Доступно