An unsolvable problem of elementary number theory (1936)

by J Math
Venue:J. Symbolic Logic