A relationship among Gentzen's proof-reduction, Kirby-Paris' hydra game and Buchholz's hydra game
Masahiro Hamano, Mitsuhiro Okada
研究成果: Article › 同行評審
16
引文
斯高帕斯（Scopus）