Title: Numbers and proofs
Subjects: Proof theory, Numerical calculations, Mathematik, Beweis, Zahlentheorie, Einführung, Bewijstheorie