Switch to: References

Citations of:

A direct independence proof of Buchholz's Hydra Game on finite labeled trees

Masahiro Hamano & Mitsuhiro Okada

Archive for Mathematical Logic 37 (2):67-89 (1998)

Add citations

You must login to add citations.

Masahiro Hamano and Mitsuhiro Okada. A direct independence proof of Buchholz's Hydra game on finite labeled trees. Archive for mathematical logic, vol. 37 no. 2 , pp. 67–89. [REVIEW]Lev Gordeev - 2001 - Bulletin of Symbolic Logic 7 (4):534-535.details Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark
Archive for Mathematical Logic. [REVIEW]Lev Gordeev - 2001 - Bulletin of Symbolic Logic 7 (4):534-535.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark

1