Recursion theory : computational aspects of definability
	Tác giả: C-T Chong, Liang Yu
	Xuất bản: ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.35  Thêm vào giỏ

Mathematical foundations of information flow : Clifford Lectures Information Flow in Physics, Geometry, and Logic and Co...
	Tác giả: Samson Abramsky, A H Clifford, Michael W Mislove
	Xuất bản: Providence, R.I: American Mathematical Society , ©2012.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Combinatorics and physics : Mini-Workshop on Renormalization, December 15-16, 2006, Conference on Combinatorics and Phys...
	Tác giả: Kurusch Ebrahimi-Fard, Matilde Marcolli, Walter D van Suijlekom
	Xuất bản: Providence, R.I: American Mathematical Society , 2011.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.6  Thêm vào giỏ

Mathematical time capsules : historical modules for the mathematics classroom
	Tác giả: Dick Jardine, Amy Shell-Gellasch
	Xuất bản: Washington, DC: Mathematical Association of America , 2011
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.2  Thêm vào giỏ

Appalachian set theory : 2006-2012
	Tác giả: James Cummings, Ernest Schimmerling
	Xuất bản: Cambridge, UK ; New York: Cambridge University Press , 2013.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.322  Thêm vào giỏ

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ỏ