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

Author(s)

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

Bibliographic Information

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

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

"Мир", 1978

Other Title

Proof theory

Title Transcription

Teorii︠a︡ dokazatelʹstv

Note

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

Includes index

Details

• NCID: BB10653409
• Country Code: ru
• Title Language Code: rus
• Text Language Code: rus
• Original Language Code: eng
• Place of Publication: Москва
• Pages/Volumes: 412 p.
• Size: 23 cm