Emil 1947 Recursive unsolvability of a problem of Thue (0)

by Manuscript Post
Venue:J. Symbolic Logic