Tableau predicativi e delta-regole

Fai una domanda Tutte le categorie
davidinho92
davidinho92
18 feb 2012, 16:12
Nella costruzione di un tableau predicativo nelle delta-regole quando posso usare una costante già utilizzata e quando non posso?
Rispondi
Per rispondere a questa discussione devi prima effettuare il login.