Logic, computers, and sets - Wang, Hao (Chelsea Publishing Company, 1970)