TY  - GEN
AU  - Xiquan,Liang
AU  - Ge,Fuguo
AU  - Yan,Li
TI  - Some Logical Aspects of Mathematical Reasoning
KW  - Logika symboliczna i matematyczna
KW  - kaba
N1  - Tytuł. nagł; Bibliogr. s. 44
ER  -