Title: Proof, logic, and formalization
Subjects: Symbolic and mathematical Logic, Proof theory, Logique symbolique et mathématique, Preuve, Théorie de la, Formele logica, Mathematik, Mathématiques, Bewijstheorie, Beweis, Beweistheorie, Aufsatzsammlung, Philosophie, Logik, Logic, symbolic and mathematical, Mathematics, Philosophy, Théorie de la preuve, Infinity, Logic