База данных переводных книг

Не является библиотекой. Полнотекстовый доступ к изданиям не предоставляется.

Такеути, Г. Теория доказательств. Пер. с англ. С.К. Соболева; под ред. С.И. Адяна. – М.: Мир, 1978. – 416 с. Takeuti G. Proof theory. Amsterdam: North-Holland Publ. Co., 1975. 372 p. (Russ. ed.: Takeuti, G. Teoriya dokazatel'stv. Moscow: Mir Publ., 1978. 416 p.).
Авторы: Такеути, Г. / Takeuti G.
Год издания: 1978
Издательство: Мир
Место издания: М.
Перевод с англ.