Takeuti, Gaisi, 1926-2017,. | Proof theory | Russian | (Sobolev : 1978)
VIAF ID: 316103399 ( Expression )
Permalink: http://viaf.org/viaf/316103399
Preferred Forms
4xx's: Alternate Name Forms (4)
5xx's: Related Names (1)
- 500 1 _ ‡a Sobolev, S. K.
Works
Author
:
Takeuti, Gaisi,
Title | Sources |
---|---|
Proof theory |