Structures and Algorithms Mathematics and the Nature of Knowledge - Fenstad, Jens Erik 1935-2020 (Springer, 2018)