Collected Papers on Mathematics, Logic, and Philosophy