A relationship among Gentzen's proof-reduction, Kirby-Paris' hydra game and Buchholz's hydra game

Masahiro Hamano, Mitsuhiro Okada

研究成果: Article同行評審

16 引文 斯高帕斯(Scopus)

指紋

深入研究「A relationship among Gentzen's proof-reduction, Kirby-Paris' hydra game and Buchholz's hydra game」主題。共同形成了獨特的指紋。

Mathematics