Early Writings in the Philosophy of Logic and Mathematics