Franco Montagna’s Work on Provability Logic and Many-valued Logic | Publicación