Đại số tiến trình thời gian thực và đặc tả hệ thống theo dõi thùng chứa xăng ngầm
	Tác giả: Ngọc Bình Nguyễn, Thanh Phương Nguyễn
	Xuất bản: Kỷ yếu hội thảo khoa học quốc gia lần thứ nhất về nghiên cứu, phát triển và ứng dụng công nghệ thông tin và truyền thông , 2003
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Vấn đề xác định nội dung và định nghĩa khái niệm " hình vuông lôgíc" trong các sách lôgíc học
	Tác giả: Như Hải Nguyễn
	Xuất bản: Triết học , 2009
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Về logic học phi cổ điển và ý nghĩa của nó
	Tác giả: Văn Viên Vũ
	Xuất bản: Triết học , 2004
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Bài toán kết nhập mờ theo cách tiếp cận đại số gia tử
	Tác giả: Thái Sơn Trần, Tuấn Anh Nguyễn
	Xuất bản: Tạp chí Khoa học và Công nghệ , 2011
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

	Tác giả: Wilson T Price, Merlin Miller
	Xuất bản: USA: USA , 1970
	Bộ sưu tập: NCBI
	ddc:  511.3  Thêm vào giỏ

Mathematical Logic and Computability
	Tác giả: H Jerome Keisler, Joel Robbin
	Xuất bản: USA: McGraw-Hill , 1996
	Bộ sưu tập: Khoa học tự nhiên
	Bản in ddc:  511.3  Thêm vào giỏ

Information, Randomness and Incompletene
	Tác giả: GJ Chaitin
	Xuất bản: Singapore: World Scientific , 1987
	Bộ sưu tập: Khoa học tự nhiên
	Bản in ddc:  511.3  Thêm vào giỏ

Bridge to abstract mathematics : mathematical proof and structures
	Tác giả: Ronald P Morash
	Xuất bản: New York (N.Y: Random House , 1987
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Complexity explained
	Tác giả: Péte Érdi
	Xuất bản: Berlin: Springer , 2007
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Gödel's theorem [electronic resource] : an incomplete guide to its use and abuse
	Tác giả: Torkel Franzén
	Xuất bản: Wellesley, MA: A K Peters , 2005
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ