Dimostrazioni e significato. Michael Dummett – Dag Prawitz – Per Martin-Löf.