Proofs and refutations : the logic of mathematical discovery
	Tác giả: Imre Lakatos
	Xuất bản: Cambridge ; New York: Cambridge University Press , 197
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511  Thêm vào giỏ

Combinatorics, words and symbolic dynamics
	Tác giả: V Berthé, Rigo
	Xuất bản: ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.6  Thêm vào giỏ

Approximation by polynomials with integral coefficients
	Tác giả: Le Baron O Ferguson
	Xuất bản: Providence, R.I: American Mathematical Society , 1980.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.4  Thêm vào giỏ

Analytic quotients : theory of liftings for quotients over analytic ideals on the integers
	Tác giả: Ilijas Farah
	Xuất bản: Providence, R.I: American Mathematical Society , c2000.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.322 511.322  Thêm vào giỏ

The stationary tower : notes on a course by W. Hugh Woodin
	Tác giả: Paul B Larson
	Xuất bản: Providence, R.I: American Mathematical Society , c2004.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.34  Thêm vào giỏ

Descriptive set theory
	Tác giả: Yiannis N Moschovakis
	Xuất bản: Providence, R.I: American Mathematical Society , c2009.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.322  Thêm vào giỏ

The reflective Lorentzian lattices of rank 3
	Tác giả: Daniel Allcock
	Xuất bản: ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.33  Thêm vào giỏ

Generalized descriptive set theory and classification theory
	Tác giả: Sy D Friedman, Tapani Hyttinen, Vadim Kulikov
	Xuất bản: ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.322  Thêm vào giỏ

Lectures on infinitary model theory
	Tác giả: D Marker
	Xuất bản: ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.34  Thêm vào giỏ

Computability, enumerability, unsolvability : directions in recursion theory
	Tác giả: S B Cooper, T A Slaman, S S Wainer
	Xuất bản: Cambridge [England] ; New York: Cambridge University Press , 1996.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.35  Thêm vào giỏ