The undecidability of #-definability. In: Logic, Meaning and Computation: Essays in Memory of Alonzo Church (2001)

by R Loader