This VIAF Cluster has been deleted. It is no longer part of VIAF.
Takeuti, Gaisi, 1926-2017. | Proof theory
VIAF ID: 306908373 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/306908373
Preferred Forms
4xx's: Alternate Name Forms (1)
Expressions
Author
:
Takeuti, Gaisi,
Language | Title | Expression | Sources |
---|---|---|---|
Russian | Teorija dokazatel'stv | Sobolev :1978 |