Can We Have a Proof-Theoretic Semantics for Arithmetic?

Departmental Research Seminar