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ỏ

Model theory : an introduction
	Tác giả: D Marker
	Xuất bản: New York: Springer , 2002
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Computability : a mathematical sketchbook
	Tác giả: D S Bridges
	Xuất bản: New York: Springer-Verlag , 1994
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Classical descriptive set theory
	Tác giả: A S Kechris
	Xuất bản: New York: Springer-Verlag , 1995
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Introduction to Axiomatic Set Theory
	Tác giả: Gaisi Takeuti, Wilson M Zaring
	Xuất bản: New York: Springer , 1971
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) 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ỏ

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ỏ