Logic computers, and sets - Wang, Hao (Chelsea publishing company, 1970)