Solving finitely refutable mathematical problems (2000)

by C S Calude, H Jürgensen, S Legg
Venue:Finite Versus Infinite. Contributions to an Eternal Dilemma