岡田光弘(浜野と共著): "A Direct Proof of Buchholz's Hydra Game on Labeled Finite Trees" Archiev for Mathematical Logic. (近刊). (1996)
岡田光弘(浜野と共著): "A Direct Proof of Buchholz's Hydra Game on Labeled Finite Trees" Archiev for Mathematical Logic. (近刊). (1996)
复制标题
Mitsuhiro Okada（与 Hamano 合着）：《A Direct Proof of Buchholzs Hydra Game on Labeled Finite Trees》（阿奇耶夫数学逻辑）（即将出版）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
