The undecidability of the elementary theory of the lattice of recursively enumerable sets, Frege conference (1984)

by E Herrmann