Deep beauty : understanding the quantum world through mathematical innovation
	Tác giả: Hans Halvorson
	Xuất bản: Cambridge ; New York: Cambridge University Press , 2011.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  530.120151  Thêm vào giỏ

Computational Artifacts [electronic resource] : Towards a Philosophy of Computer Science
	Tác giả: Raymond Turner
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2018.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Fuzzy rationality [electronic resource] : a critique and methodological unity of classical, bounded and other rationalit...
	Tác giả: K K Dompere
	Xuất bản: Berlin: Springer , 2009.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

The birth of model theory : Lowenheim's theorem in the frame of the theory of relatives
	Tác giả: Calixto Badesa, Calixto Badesa
	Xuất bản: Princeton: Princeton University Press , c2004.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.34  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ỏ

Theorems, Corollaries, Lemmas, and Methods of Proof
	Tác giả: Richard J Rossi
	Xuất bản: New jersey: John Wiley 7 Sons, Inc , 2006
	Bộ sưu tập: Khoa học tự nhiên
	Bản in ddc:  511.36  Thêm vào giỏ

Intelligent Computer Mathematics : 10th international conference, AISC 2010, 17th symposium, Calculemus 2010 and 9th int...
	Tác giả: Serge Autexier
	Xuất bản: Berlin: Springer-Verlag , 2010.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

The Nature of mathematical thinking
	Tác giả: Talia Ben-Zeev, Robert J Sternberg
	Xuất bản: Mahwah, N.J: L. Erlbaum Associates , 1996
	Bộ sưu tập: Tâm lý, Logic
	eBook (pdf) ddc:  153.4  Thêm vào giỏ

The Logical Writings of Karl Popper
	Tác giả: David Binder, David Binder, Thomas Piecha, Thomas Piecha, Peter Schroeder-Heister, Peter Schroeder-Heister
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Automata, Languages and Programming [electronic resource] : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, ...
	Tác giả: Luis Caires, Guiseppe F Italiano, Luis Monteiro, Catuscia Palamidessi, Moti Yung
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ