Logic, computers and sets - Wang, Hao 1921-1995 (Chelsea, 1970)