TY  - BOOK
AU  - 
AU  - 
AU  - 
SN  - 510/RUS/P
U1  - : 
KW  - BK
N1  - BK; Pure mathematics - definition|Symbolic logic
ER  -