Seminari del Dipartimento di Matematica
LA PREUVE SELON GENTZEN
seminario tenuto da
Alexander Bufetov
Aprile
14
2021
storia della matematica
ore
15:00
seminario on line •
collegamento al meeting
Un petit exposé court de vulgarisation dédié au calcul des séquents. Nous examinerons la contribution fondamentale et le parcours tragique du génie gripsvaldois.