Search
1 heading found for n 50008917
| Heading | Type | Sample Title | |
|---|---|---|---|
| 1 |
Takeuti, Gaisi, 1926-2017
Takeuti, Gaisi, 1926- 
Takeuchi, Gaishi, 1926-2017 ![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Takeuti, Gaisi 
竹内, 外史, 1926-2017 
竹内, 外史 1926- 
竹内外史 
竹内, 外史 
Takeuti, G. 
|
Personal | Gēderu. Formally self-referential propositions for cut free classical analysis and rela ... Gödel and other logicians Formally self-referential propositions for cut free classical analysis and rela ... Chokkan shugi teki shugoron. Bounded arithmetic and the polynomial hierarchy Introduction to axiomatic set theory |
