Зведений каталог бібліотек Тернополя
22.12Т15Такеути, Г. Теория доказательств [Текст] = Proof Theory / пер. с англ. С. К. Соболева ; под ред. С. И. Адяна. — М. : Мир, 1978. — 413 с.
- Теми документа