Books+ Search Results
Title
数理逻辑基础与应用
Author
Zhao, Chun'gao
赵春高
Published
Guiyang Shi : Guizhou ren min chu ban she : Guizhou sheng xin hua shu dian fa xing, 1986.
Location
Library Shelving Facility (LSF) >> BC135 C43 1986 (LC)
Format
Books
Title
数学逻辑引论
Author
Ma, Zhenhua
馬振华
Published
Beijing : Qing hua da xue chu ban she : Xin hua shu dian Beijing fa xing suo fa xing, 1983.
Location
Library Shelving Facility (LSF) >> BC135 M16 1983 (LC)
Format
Books
Title
数理逻辑引论
Author
Wang, Xianjun
王宪钧
Published
Beijing : Beijing da xue chu ban she : Xin hua shu dian Beijing fa xing suo fa xing, 1982.
Location
Library Shelving Facility (LSF) >> BC135 W26 1982 (LC)
Format
Books
Title
逻辑学
Published
Lanzhou : Gansu ren min chu ban she, 1981.
Location
Library Shelving Facility (LSF) >> BC135 L56 1981 (LC)
Format
Books
Title
数理逻辑初步
Author
Mo, Shangkui
莫绍揆
Published
Shanghai (Shanghai Shaoxing lu 54 hao) : Shanghai ren min chu ban she : Xin hua shu dian Shanghai fa xing suo fa xing, 1980.
Location
Library Shelving Facility (LSF) >> BC135 M54 1980 (LC)
Format
Books
Title
学点逻辑
Author
Ni, Dingfu
倪鼎夫
Published
[Beijing] : Ren min chu ban she, 1978.
Location
Library Shelving Facility (LSF) >> BC117 C6 N5 1978 (LC)
Format
Books
Title
衍推與相干
Author
Hong, Chengwan
洪成完
Published
Taibei : Taiwan Zhonghua shu ju, Minguo 63 [1974]
Location
Library Shelving Facility (LSF) >> BC135 H86 (LC)
Format
Books
Title
形式逻辑
Published
[Shanghai] : Shanghai ren min chu ban she, [1973]
Location
Library Shelving Facility (LSF) >> BC135 F82 (LC)
Format
Books
Title
現代邏輯
Author
Wang, Dianji, 1900-
汪奠基, 1900-
Published
Shanghai : Shang wu yin shu guan, 1937.
Location
Library Shelving Facility (LSF) >> Kh 937w
Format
Books
Title
逻辑学对话 =
Author
Ma, Pei
马佩.
Published
[Zhengzhou shi] : Henan ren min chu ban she : Henan sheng xin hua shu dian fa xing, 1984.
Location
Library Shelving Facility (LSF) >> BC135 M17 1984 (LC)
Format
Books