L'Hauptsatz di Gentzen

Translated title of the contribution: [Autom. eng. transl.] The main principle of Gentzen

Sergio Galvan

Research output: Book/Report › Book

Fingerprint

Dive into the research topics of '[Autom. eng. transl.] The main principle of Gentzen'. Together they form a unique fingerprint.

Arts & Humanities