Philosophy of Mathematics: An Introduction to the World of Proofs ...
James Robert Brown
Knowledge Representation, Reasoning, and the Design of Intelligent ...
Michael Gelfond & Yulia Kahl
Social Constructivism and the Philosophy of Science
André Kukla
Mathematics for Machine Learning
Marc Peter Deisenroth & A. Aldo Faisal & Cheng Soon Ong
The Theory of Infinite Soluble Groups
John Carson Lennox & Derek J. S. Robinson
Algorithms Illuminated, Part 1: The Basics
Tim Roughgarden
Algorithms Illuminated (Part 2): Graph Algorithms and Data Structures