Il corso mira a fornire gli elementi della logica classica, con speciale riferimento alla teoria della deduzione e ...