形式化
Subtitle: xian dai luo ji de fa zhan
Edition: Di 1 ban.
Publisher: Ren min
Published: 1987
Place of publication: China
Language: chi
Number of pages: 299
Subjects: Modern Logic
Other titles: Xing shi hua