Rigor and structure
	Tác giả: John P Burgess
	Xuất bản: : ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  510.1  Thêm vào giỏ

Thinking in problems : how mathematicians find creative solutions / Alexander A. Roytvarf
	Tác giả: Alexander A Roytvarf
	Xuất bản: New York: Birkhauser, 2013
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  512  Thêm vào giỏ

Second philosophy [electronic resource] : a naturalistic method
	Tác giả: Penelope Maddy
	Xuất bản: Oxford New York: Oxford University Press, 2007
	Bộ sưu tập: Tâm lý, Logic
	eBook (pdf) ddc:  146  Thêm vào giỏ

Platonism, naturalism, and mathematical knowledge
	Tác giả: James Robert Brown
	Xuất bản: New York: Routledge, 2012
	Bộ sưu tập: Tâm lý, Logic
	eBook (pdf) ddc:  146  Thêm vào giỏ

New essays on Tarski and philosophy
	Tác giả: Douglas Patterson
	Xuất bản: Oxford New York: Oxford University Press, 2008
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  510.1  Thêm vào giỏ

The Nature of Physical Computation
	Tác giả:
	Xuất bản: : Oxford University Press, 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Infinity and truth
	Tác giả: C-T Chong, Qi Feng, T A Slaman, W H Woodin
	Xuất bản: : ,
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  510.1  Thêm vào giỏ

Paul Lorenzen -- Mathematician and Logician [electronic resource]
	Tác giả: Gerhard Heinzmann, Gereon Wolters
	Xuất bản: Cham Switzerland: Springer Nature, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  510.1  Thêm vào giỏ

Mathematical theologies [electronic resource] : Nicholas of Cusa and the legacy of Thierry of Chartres
	Tác giả: David Albertson
	Xuất bản: Oxford New York City: Oxford University Press, 2014
	Bộ sưu tập: Tâm lý, Logic
	eBook (pdf) ddc:  261.55  Thêm vào giỏ

Peter Schroeder-Heister on Proof-Theoretic Semantics
	Tác giả:
	Xuất bản: Cham: Springer Nature, 2024
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ