Elencazione di tutte le sequenze di enunciati che formano dimostrazioni nel calcolo proposizionale 'standard'
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 3_enumSeqParole.pdf