TY  - BOOK
AU  - Nôvikôp,P.X.
AU  - Nguyễn,Hữu Ngự
AU  - Đặng,Huy Ruận
TI  - Đại cương lô gic toán
U1  - 511.3 14
PY  - 1971///
CY  - H.
PB  - KHKT
KW  - Lô gic toán
KW  - Lô gic vị từ
KW  - Lý thuyết chứng minh
KW  - Số học tiền đề
N2  - Gồm các nội dung: Lô gic vị từ; Hệ toán vi từ; Số học tiền đề; Đại cương về lý thuyết chứng minh
ER  -