Discrete Mathematics [electronic resource] : An Open Introduction
	Tác giả: Oscar Levin
	Xuất bản: North Charleston: CreateSpace Independent Publishing Platform , Aug. 2016.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Roads to infinity : the mathematics of truth and proof
	Tác giả: John Stillwell
	Xuất bản: Natick, Mass: A K Peters , c2010.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  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ỏ

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ỏ

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ỏ

Proving in the elementary mathematics classroom
	Tác giả: Andreas J Stylianides
	Xuất bản: ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.36  Thêm vào giỏ

Introduction to minimax
	Tác giả: V F Demʹi͡anov, V F Demʹi͡anov, V N Malozemov, V N Malozemov
	Xuất bản: New York: Dover Publications , 19
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.66  Thêm vào giỏ

Finite Markov chains and algorithmic applications
	Tác giả: Oll Häggström
	Xuất bản: Cambridge ; New York: Cambridge University Press , 2
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.8  Thêm vào giỏ

Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics
	Tác giả: Juha Kontinen, Roman Kossak, Andrés Villaveces, Åsa Hirvonen
	Xuất bản: ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511  Thêm vào giỏ