Nonrecursive Tilings of the Plane. I. - William P. Hanf (J. Symb. Log., 1974)

Boolean Sentence Algebras: Isomorphism Constructions. - William P. Hanf; Dale Myers (J. Symb. Log., 1983)