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

Masahiro Hamano, Mitsuhiro Okada

Research output: Contribution to journal › Article › peer-review

5 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A relationship among Gentzen's proof-reduction, Kirby-Paris' hydra game and Buchholz's hydra game'. Together they form a unique fingerprint.

Mathematics