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ỏ

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ỏ

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ỏ

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ỏ

Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSAC...
	Tác giả: Jean Goubault-Larrecq, Barbara König
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models
	Tác giả: Gaia Belardinelli, Rasmus K Rendsvig
	Xuất bản: , 2021
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Transition to Higher Mathematics Structure and Proof
	Tác giả: Bob A Dumas, John E McCarthy
	Xuất bản: St. Louis, Missouri: Open Scholarship , 2015
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  511.3  Thêm vào giỏ

Fuzzy Logic
	Tác giả: Constantin Volosencu, Constantin Volosencu
	Xuất bản: London, UK: IntechOpen , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  511.3  Thêm vào giỏ

Petri Net : Theory and Applications
	Tác giả: Vedran Kordic, Vedran Kordic
	Xuất bản: Croatia: IntechOpen , 2008
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ