0100053354;20040520154058.0;CNY1.10(下);13031.1945(下);19950706d1982 em y0chiy0121 ea;chi;CN;110000;y z 000yy;r;数理逻辑基础;shu li luo ji ji chu;下册;胡世华, 陆钟万著;北京;科学出版社;1982.8;229-434页;21cm;现代数学基础丛书;2001;a现代数学基础丛书;数理逻辑;O141;2;胡世华 ; 陆钟万;hu shi hua ; lu zhong wan;著 ; 著;CN;NGL;20040520;NGL;UCBL045962;O141;H1;v.2 ; rCNY1.10(下);aulls;b1;eOulo2