Discussione:Logica lineare
Ultimo commento: 4 anni fa, lasciato da InternetArchiveBot in merito all'argomento Collegamenti esterni modificati
Collegamenti esterni modificati
modificaGentili utenti,
ho appena modificato 1 collegamento esterno sulla pagina Logica lineare. Per cortesia controllate la mia modifica. Se avete qualche domanda o se fosse necessario far sì che il bot ignori i link o l'intera pagina, date un'occhiata a queste FAQ. Ho effettuato le seguenti modifiche:
- Aggiunta del link all'archivio https://web.archive.org/web/20160704202340/http://www.cs.man.ac.uk/~pt/stable/Proofs+Types.html per http://www.cs.man.ac.uk/~pt/stable/Proofs+Types.html
Fate riferimento alle FAQ per informazioni su come correggere gli errori del bot.
Saluti.—InternetArchiveBot (Segnala un errore) 03:30, 16 feb 2020 (CET)