Nôvikôp, P.X. <br/><br/>
Đại cương lô gic toán / 
P.X. Nôvikôp ; Ngd.: Nguyễn Hữu Ngự, Nguyễn Hữu Ngự, Đặng Huy Ruận 
 - H. :  KHKT,  1971 
 - 436 tr. 
<br/><br/> 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. 
<br/><br/><label>Subjects--Index Terms: </label>Lô gic toán Lô gic vị từ Lý thuyết chứng minh Số học tiền đề 
<br/><br/><label>Dewey Class. No.: </label>511.3  / NOV 1971