Title: Is Math Real?: How Simple Questions Lead Us to Mathematics' Deepest Truths, Author: Eugenia Cheng
Title: Mathematics: An Illustrated History of Numbers (100 Ponderables) Revised and Updated, Author: Tom Jackson
Title: In Search of Infinity, Author: N.Ya. Vilenkin
Title: Cooperation in Heterogeneous Theorem Prover Networks, Author: Dirk Fuchs
Title: Fuzzy Systems for Information Processing, Author: K. Asai