Теория доказательств

著者

• 竹内, 外史 タケウチ, ガイシ
• Sobolev, S. K.
• Adi︠a︡n, S. I.

書誌事項

Теория доказательств

Г. Такеути ; перевод с английского С.К. Соболевa ; под редакцией С.И. Адянa

"Мир", 1978

タイトル別名

Proof theory

タイトル読み

Teorii︠a︡ dokazatelʹstv

注記

Originally published: Amsterdam : North-Holland, New-York : American Elsevier, 1975

Includes index

詳細情報

• NII書誌ID(NCID): BB10653409
• 出版国コード: ru
• タイトル言語コード: rus
• 本文言語コード: rus
• 原本言語コード: eng
• 出版地: Москва
• ページ数/冊数: 412 p.
• 大きさ: 23 cm