A hypercomputational alien (0)

by U Boker, N Dershowitz
Venue:Applied Mathematics and Computation