Stochastic Petri nets : modelling, stability, simulation
	Tác giả: Peter J Haas
	Xuất bản: New York: Springer , 2002.
	Bộ sưu tập: NCBI
	ddc:  511.3  Thêm vào giỏ

Logic and Boolean Algebra
	Tác giả: Kathleen Levitz, Hilbert Levitz
	Xuất bản: Barron';s Educational Series , 1979
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Lý thuyết Automat và ngôn ngữ hình thức
	Tác giả: Hồ Văn Quân
	Xuất bản: TP.HCM: Đại học Quốc gia Thành phố Hồ Chí Minh , 2006
	Bộ sưu tập: Khoa học tự nhiên
	Bản in ddc:  511.3  Thêm vào giỏ

Logic : an introductory course
	Tác giả: W Newton-Smith
	Xuất bản: London: Routledge , 1985
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Proof, logic and formalization
	Tác giả: Michael Detlefsen
	Xuất bản: London ; New York: Routledge , 1992
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

The complexity of Boolean functions
	Tác giả: Ingo Wegener
	Xuất bản: Stuttgart: Teubner , 1987
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Lectures in logic and set theory
	Tác giả: George J Tourlakis
	Xuất bản: Cambridge, UK ; New York: Cambridge University Press , 2003
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Logic Toán
	Tác giả: Trần Thọ Châu
	Xuất bản: Hà Nội: Đại học Quốc gia Hà Nội , 2007
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Proof and Knowledge in Mathematics
	Tác giả: Michael Detlefsen
	Xuất bản: New York: Routledge , 1992
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Fuzzy sets and fuzzy logic : theory and applications
	Tác giả: George J Klir, Bo Yuan
	Xuất bản: Upper Saddle River, N.J: Prentice Hall PTR , 1995
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ