Takeuti, Gaisi, 1926-2017,. | Proof theory
VIAF ID: 669151965356800470003 ( Work )
Permalink: http://viaf.org/viaf/669151965356800470003
Preferred Forms
4xx's: Alternate Name Forms (1)
Expressions
Author
:
Takeuti, Gaisi,
Language | Title | Expression | Sources |
---|---|---|---|
Russian | Teorija dokazatel'stv | Sobolev :1978 |