Logical options : an introduction to classical and alternative logics
	Tác giả: J L Bell, David DeVidi, Graham Solomon
	Xuất bản: Peterborough, Ont: Broadview Press , 2001.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Neural and fuzzy logic control of drives and power systems elektronisk ressurs
	Tác giả: M N Cirstea
	Xuất bản: Oxford [England] Boston, MA: Newnes , 2002
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  629.8312  Thêm vào giỏ

The foundations of mathematics
	Tác giả: Ian Stewart, David Orme Tall
	Xuất bản: ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) 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ỏ

Computation Engineering [electronic resource] : Applied Automata Theory and Logic
	Tác giả: Ganesh Gopalakrishnan
	Xuất bản: Boston, MA: Springer Science+Business Media LLC , 2006.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
	Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
	Xuất bản: Cham, Switzerland: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.24  Thêm vào giỏ

Aspects of Molecular Computing [electronic resource] : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
	Tác giả: Natasha Jonoska, Gheorghe Păun, Grzegorz Rozenberg
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Math proofs demystified elektronisk ressurs
	Tác giả: Stan Gibilisco
	Xuất bản: New York: McGraw-Hill , 2005
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.36  Thêm vào giỏ

Tracking reason : proof, consequence, and truth
	Tác giả: Jody Azzouni
	Xuất bản: Oxford ; New York: Oxford University Press , 2006
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.36  Thêm vào giỏ

Descriptive and normative approaches to human behavior
	Tác giả: Ehtibar N Dzhafarov, Lacey Perry
	Xuất bản: New Jersey: World Scientific , 2012.
	Bộ sưu tập: Tâm lý, Logic
	eBook (pdf) ddc:  155.2  Thêm vào giỏ