TY  - BOOK
AU  - 朱志凯主编
TI  - 形式逻辑基础
U1  - 150 ZZK  
PY  - 1983///
CY  - 
PB  - 复旦大学出版社
KW  - 论理学总论
ER  -