Logic, computers, and sets - Wang, Hao; Wang, Hao (Chelsea, 1970)
Früher u.d.T.: Wang, Hao: A survey of mathematical logic