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

N. 33
Dimostrazioni e significato. Michael Dummett - Dag Prawitz - Per Martin-Löf, E. Moriconi
Milano, Franco Angeli, 1992
pp. 144