Thư Viện Trường Đại học Hà Nội

THỜI GIAN PHỤC VỤ

Thứ 2 - Thứ 6: 07h30 - 22h00

Thứ 7: 07h30 - 17h00

TRA CỨU

Sách
Ký hiệu PL/XG: 004.01 NIS
Nhan đề: Introductory logic and sets for computer scientists /

LCC	QA76.9.L63
DDC	004.01
Tác giả CN	Nissanke, Nimal.
Nhan đề	Introductory logic and sets for computer scientists / Nimal Nissanke.
Thông tin xuất bản	Harlow, Eng. ;Reading, Mass. :Addison Wesley Longman,c1999.
Mô tả vật lý	xvi, 384 p. :ill. ;23 cm.
Thuật ngữ chủ đề	Computer logic.
Thuật ngữ chủ đề	Set theory.
Thuật ngữ chủ đề	Khoa học máy tính-TVĐHHN.
Từ khóa tự do	Khoa học máy tính.
Từ khóa tự do	Lí thuyết tập hợp
Địa chỉ	100TK_Tiếng Anh-AN(1): 000015736


000	00000cam a2200000 a 4500
001	5596
002	1
004	5735
005	202010261123
008	040909s1999 mau eng
009	1 0
010	\|a 98028534
020	\|a0201179571 (pbk.)
035	\|a39300172
035	##\|a39300172
039	\|a20241209115147\|bidtocn\|c20201026112331\|danhpt\|y20040909000000\|zanhpt
040	\|aDLC\|cDLC\|dDLC
041	0 \|aeng
042	\|apcc
044	\|amau
050	00\|aQA76.9.L63\|bN57 1999
082	04\|a004.01\|221\|bNIS
090	\|a004.01\|bNIS
100	1 \|aNissanke, Nimal.
245	10\|aIntroductory logic and sets for computer scientists /\|cNimal Nissanke.
260	\|aHarlow, Eng. ;\|aReading, Mass. :\|bAddison Wesley Longman,\|cc1999.
300	\|axvi, 384 p. :\|bill. ;\|c23 cm.
504	\|aIncludes bibliographical references and index.
650	00\|aComputer logic.
650	00\|aSet theory.
650	07\|aKhoa học máy tính\|2TVĐHHN.
653	0 \|aKhoa học máy tính.
653	0 \|aLí thuyết tập hợp
852	\|a100\|bTK_Tiếng Anh-AN\|j(1): 000015736
890	\|a1\|b4\|c0\|d0

Dòng	Mã vạch	Nơi lưu	Chỉ số xếp giá	Loại tài liệu	Bản sao	Tình trạng	Thành phần	Đặt mượn
1	000015736	TK_Tiếng Anh-AN	004.01 NIS	Sách	1	Tài liệu chỉ đọc tại Thư viện