517 Т 150 Такеути, Гаиси. Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева под ред. С. И. Адяна. - Москва : Мир, 1978. - 412 с. - Предм. указ.: с. 406-410. - 2.10 р., 2.10 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ДОКАЗАТЕЛЬСТВ ТЕОРИЯ Доп.точки доступа: Соболев, С. К. \пер.\; Адян, С. И. \ред.\ Экземпляры всего: 2 Х (1), АБН (1) Свободны: Х (1), АБН (1) |