Xiquan, Liang. Some Logical Aspects of Mathematical Reasoning / Xiquan Liang, Fuguo Ge and Li Yan. Tytuł. nagł. Bibliogr. s. 44. Subjects--Topical Terms: Logika symboliczna i matematyczna.