Mathematics and its applications. China series. Vol. 2 : Computation,logic.philosophy / W.Hao, 1990. - Текст : непосредственный.