Adventures in Gödel Incompleteness. - Friedman, Harvey M. (History & Philosophy of Logic, 2025)