Logic toán

Trình bày về lôgic toán: Các định nghĩa, định lý, hệ thức, công thức vvà ứng dụng của đại số mệnh đề; đại số vị từ và hệ toán mệnh đề và vị từ

Kaydedildi:
Detaylı Bibliyografya
Yazar: Eđenman, S.L.
Materyal Türü: Kitap
Dil:Vietnamese
Baskı/Yayın Bilgisi: H. Giáo dục 1981
Konular:
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
Thư viện lưu trữ: Mạng thư viện Đại học Đà Nẵng
LEADER 01126nam a2200301 4500
001 000007811
003 3980
005 20111011151054.0
008 111011s1981 viesd
041 0 |a vie 
082 |a 511.3  |b ED-S 
100 0 |a Eđenman, S.L. 
245 0 |a Logic toán  |c S.L. Eđenman ; Nguyễn mạnh Quý dịch 
260 |a H.  |b Giáo dục  |c 1981 
300 |a 223tr  |c 19 cm 
520 |a Trình bày về lôgic toán: Các định nghĩa, định lý, hệ thức, công thức vvà ứng dụng của đại số mệnh đề; đại số vị từ và hệ toán mệnh đề và vị từ 
653 |a Logic toán 
653 |a giáo trình 
OWN |a LSP 
AVA |a UDN50  |b LSP  |d 511.3 ED-S  |e unavailable  |t Error 5002 Not defined in file expand_doc_bib_avail.  |f 3  |g 3  |h N  |i 0  |k 1 
999 |a From the UDN01 
AVA |a UDN50  |b LSP  |d 511.3 ED-S  |e unavailable  |t Error 5002 Not defined in file expand_doc_bib_avail.  |f 3  |g 3  |h N  |i 0  |k 1 
TYP |a Monograph 
TYP |a Printed language 
980 |a Mạng thư viện Đại học Đà Nẵng