Iris van der Giessen

Uno sguardo sulla dimostrabilità e sulle tecniche di prova nei sistemi logici.

Questo articolo parla di un nuovo calcolo sequenziale per la logica intuizionista forte L.