Nota: Devi essere registrato per poter inserire un messaggio. Per registrarti, clicca qui. La Registrazione è semplice e gratuita!
V I S U A L I Z Z A D I S C U S S I O N E
GioRac
Inserito il - 14/11/2007 : 11:28:30 ciao, per caso il prof. vuole la dimostrazione del teorema "Il calcolo della deduzione naturale è corretto" e dei vari teoremi di completezza e consistenza? grazie