Foundations of mathematical logic
	Tác giả: Haskell B Curry
	Xuất bản: New York: Dover Publications , 1977
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511  Thêm vào giỏ

A course on mathematical logic
	Tác giả: S M Srivastava
	Xuất bản: New York ; London: Springer , 2008
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

A concise introduction to mathematical logic
	Tác giả: Wolfgang Rautenberg
	Xuất bản: New York, NY: Springer , 2006
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

A course in mathematical logic
	Tác giả: Manin ëIìU I, Neal Koblitz
	Xuất bản: New York: Springer Verlag , 1977
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511  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: 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: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Executing temporal logic programs
	Tác giả: B C Moszkowski
	Xuất bản: Cambridge [Cambridgeshire] ; New York: Cambridge University Press , 1986.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Alfred Tarski : life and logic
	Tác giả: Anita Burdman Feferman, Solomon Feferman
	Xuất bản: Cambridge: Cambridge University Press , 2008.
	Bộ sưu tập: Tâm lý, Logic
	eBook (pdf) ddc:  192.9  Thêm vào giỏ

A course in mathematical logic for mathematicians
	Tác giả: I͡U I Manin, Neal Koblitz, Boris Zilber
	Xuất bản: New York: Springer , 2010
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ