Cornerstones of undecidability - Rozenberg, Grzegorz; Salomaa, Arto. (New York Prentice Hall, 1994)
Keywords: Unsolvability (Mathematical logic); Decidability (Mathematical logic)