TY  - BOOK
AU  - P.X,Nôvikốp
AU  - Nguyễn,Hữu Ngự
AU  - Đặng,Huy Ruận dịch
TI  - Đại cương lôgíc toán
U1  - 511.3  
PY  - 1971///
CY  - Hà Nội : 
PB  - Khoa học và kỹ thuật, 
KW  - Ký hiệu và logic toán học
ER  -