Corso di avviamento alla ricerca: "La logica lineare e i suoi sviluppi: aspetti procedurali e quantistici della logica"