XLVII-XLVIII ora
Si è svolta una prova di riepilogo delle conoscenze acquisite in logica proposizionale e in logica dei predicati.
[In figura il logico tedesco Gerhard Gentzen, che lavorò alle fondamenta della Deduzione Naturale].
Lezione del 7 giugno 2011
martedì 7 giugno 2011
