Category theory
	Tác giả: Steve Awodey
	Xuất bản: Oxford ; New York: Oxford University Press , 2010.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

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ỏ

Non-Archimedean analysis : a systematic approach to rigid analytic geometry
	Tác giả: S Bosch, U Güntzer, Reinhold Remmert
	Xuất bản: Berlin: Springer-Verlag , 1984.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Qualitative spatial and temporal reasoning
	Tác giả: Gérard Ligozat
	Xuất bản: London, UK : Hoboken, N.J: ISTE ; Wiley , 2012
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Notes on forcing axioms
	Tác giả: Stevo Todorcevic, C-T Chong, Qi Feng, T A Slaman, W H Woodin, Yue Yang
	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ỏ

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ỏ